Javier Esparza, Pierre Ganty, Rupak Majumdar
Parameterized Verification of Asynchronous Shared-Memory Systems
CAV, 2013.
@inproceedings{CAV-2013-EsparzaGM, author = "Javier Esparza and Pierre Ganty and Rupak Majumdar", booktitle = "{Proceedings of the 25th International Conference on Computer Aided Verification}", doi = "10.1007/978-3-642-39799-8_8", isbn = "978-3-642-39798-1", pages = "124--140", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Parameterized Verification of Asynchronous Shared-Memory Systems}", volume = 8044, year = 2013, }