TY  - RPRT
TI  - Modular Verification of Concurrent Programs via Sequential Model Checking
AU  - Dan Rasin
AU  - Orna Grumberg
AU  - Sharon Shoham
PY  - 2021
UR  - https://arxiv.org/abs/2106.00732
ID  - 2106.00732
ER  -