Back to Search
Start Over
Reachability under Contextual Locking.
- Source :
- Tools & Algorithms for the Construction & Analysis of Systems (9783642287558); 2012, p437-450, 14p
- Publication Year :
- 2012
Details
- Language :
- English
- ISBNs :
- 9783642287558
- Database :
- Complementary Index
- Journal :
- Tools & Algorithms for the Construction & Analysis of Systems (9783642287558)
- Publication Type :
- Book
- Accession number :
- 94111779
- Full Text :
- https://doi.org/10.1007/978-3-642-28756-5_30