Login
- Title:
Model Checking Parameterized Asynchronous Shared-Memory Systems
- Document type:
- Buchbeitrag
- Author(s):
- Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
- Book title:
- Computer Aided Verification
- Publisher:
- Springer International Publishing
- Year:
- 2015
- Pages:
- 67-84
- Print-ISBN:
- 97833192168989783319216904
- DOI:
- doi:10.1007/978-3-319-21690-4_5
BibTeX