Decidable Problems for Unary PFAs.

Authors :: Chadha, Rohit
Kini, Dileep
Viswanathan, Mahesh
Source :: Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings; 2014, p329-344, 16p
Publication Year :: 2014

Language :: English
ISBNs :: 9783319106953
Database :: Complementary Index
Journal :: Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings
Publication Type :: Book
Accession number :: 98761188
Full Text :: https://doi.org/10.1007/978-3-319-10696-0_26