Back to Search
Start Over
Single-Pass Testing Automata for LTL Model Checking.
- Source :
- Language & Automata Theory & Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings; 2015, p563-576, 14p
- Publication Year :
- 2015
Details
- Language :
- English
- ISBNs :
- 9783319155784
- Database :
- Complementary Index
- Journal :
- Language & Automata Theory & Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings
- Publication Type :
- Book
- Accession number :
- 102835433
- Full Text :
- https://doi.org/10.1007/978-3-319-15579-1_44