Author： Brázdil Tomáš Esparza Javier Kiefer Stefan Kučera Antonín
Publisher： Springer Publishing Company
ISSN： 0925-9856
Source： Formal Methods in System Design, Vol.43, Iss.2, 2013-10, pp. : 124-163
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Properties of probabilistic pushdown automata
Theoretical Computer Science, Vol. 207, Iss. 1, 1998-10 ,pp. :
Access to resources
Recommend
By Kutrib M.
Theoretical Computer Science, Vol. 215, Iss. 1, 1999-02 ,pp. :
Stack Cooperation in Multistack Pushdown Automata
Journal of Computer and System Sciences, Vol. 58, Iss. 3, 1999-06 ,pp. :
Pushdown automata with bounded nondeterminism and bounded ambiguity
By Herzog C.
Theoretical Computer Science, Vol. 181, Iss. 1, 1997-07 ,pp. :
Past pushdown timed automata and safety verification
By Dang Z. Bultan T. H. Ibarra O. A. Kemmerer R.
Theoretical Computer Science, Vol. 313, Iss. 1, 2004-02 ,pp. :