Limit Deterministic and Probabilistic Automata for LTL \ GU.

Authors :: Kini, Dileep
Viswanathan, Mahesh
Source :: Tools & Algorithms for the Construction & Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory & Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings; 2015, p628-642, 15p
Publication Year :: 2015

Language :: English
ISBNs :: 9783662466803
Database :: Complementary Index
Journal :: Tools & Algorithms for the Construction & Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory & Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Publication Type :: Book
Accession number :: 102868476
Full Text :: https://doi.org/10.1007/978-3-662-46681-0_57