Back to Search
Start Over
Fluid Model Checking of Timed Properties.
- Source :
- Formal Modeling & Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings; 2015, p172-188, 17p
- Publication Year :
- 2015
Details
- Language :
- English
- ISBNs :
- 9783319229744
- Database :
- Complementary Index
- Journal :
- Formal Modeling & Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
- Publication Type :
- Book
- Accession number :
- 110730698
- Full Text :
- https://doi.org/10.1007/978-3-319-22975-1_12