TY  - RPRT
TI  - Parameterized Verification under TSO with Data Types
AU  - Parosh Aziz Abdulla
AU  - Mohamed Faouzi Atig
AU  - Florian Furbach
AU  - Adwait Godbole
AU  - Yacoub G. Hendi
AU  - Shankaranarayanan Krishna
AU  - Stephan Spengler
PY  - 2023
UR  - https://arxiv.org/abs/2302.02163
ID  - 2302.02163
ER  -