Login
- Titel:
Model Checking Parameterized Asynchronous Shared-Memory Systems
- Dokumenttyp:
- Buchbeitrag
- Autor(en):
- Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
- Buchtitel:
- Computer Aided Verification
- Verlag / Institution:
- Springer International Publishing
- Jahr:
- 2015
- Seiten/Umfang:
- 67-84
- Print-ISBN:
- 97833192168989783319216904
- DOI:
- doi:10.1007/978-3-319-21690-4_5
BibTeX