Back to Search Start Over

Reachability under Contextual Locking.

Authors :
Chadha, Rohit
Madhusudan, P.
Viswanathan, Mahesh
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