Decidable and Expressive Classes of Probabilistic Automata.

Authors :: Chadha, Rohit
Sistla, A. Prasad
Viswanathan, Mahesh
Ben, Yue
Source :: Foundations of Software Science & Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory & Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings; 2015, p200-214, 15p
Publication Year :: 2015

Language :: English
ISBNs :: 9783662466773
Database :: Complementary Index
Journal :: Foundations of Software Science & Computation Structures 18th International Conference, FOSSACS 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 :: 102868401
Full Text :: https://doi.org/10.1007/978-3-662-46678-0_13