Back to Search
Start Over
Fluid Model Checking.
- Source :
- CONCUR 2012 - Concurrency Theory; 2012, p333-347, 15p
- Publication Year :
- 2012
Details
- Language :
- English
- ISBNs :
- 9783642329395
- Database :
- Complementary Index
- Journal :
- CONCUR 2012 - Concurrency Theory
- Publication Type :
- Book
- Accession number :
- 93554952
- Full Text :
- https://doi.org/10.1007/978-3-642-32940-1_24