Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar. Model checking parameterized asynchronous shared-memory systems. Formal Methods in System Design, 50(2-3):140-167, 2017. [doi]
@article{Durand-Gasselin17,
title = {Model checking parameterized asynchronous shared-memory systems},
author = {Antoine Durand-Gasselin and Javier Esparza and Pierre Ganty and Rupak Majumdar},
year = {2017},
doi = {10.1007/s10703-016-0258-3},
url = {http://dx.doi.org/10.1007/s10703-016-0258-3},
researchr = {https://researchr.org/publication/Durand-Gasselin17},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {50},
number = {2-3},
pages = {140-167},
}