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]
No references recorded for this publication.
No citations of this publication recorded.