Back to Search
Start Over
Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding
- Publication Year :
- 2012
-
Abstract
- UPMARC<br />Concurrent recursive programs
Details
- Database :
- OAIster
- Notes :
- English
- Publication Type :
- Electronic Resource
- Accession number :
- edsoai.on1235145560
- Document Type :
- Electronic Resource
- Full Text :
- https://doi.org/10.1007.978-3-642-33386-6_13