Properties of probabilistic pushdown automata

By Macarie I.I.   Ogihara M.  

Theoretical Computer Science, Vol. 207, Iss. 1, 1998-10 ,pp. : 117-130

Elsevier

Access to resources Recommend Favorite

Analyzing probabilistic pushdown automata

By Brázdil Tomáš   Esparza Javier   Kiefer Stefan   Kučera Antonín  

Formal Methods in System Design, Vol. 43, Iss. 2, 2013-10 ,pp. : 124-163

Springer Publishing Company

Access to resources Recommend Favorite

Stack Cooperation in Multistack Pushdown Automata

By Dassow J.   Mitrana V.  

Journal of Computer and System Sciences, Vol. 58, Iss. 3, 1999-06 ,pp. : 611-621

Academic Press

Access to resources Recommend Favorite

Pushdown automata with bounded nondeterminism and bounded ambiguity

By Herzog C.  

Theoretical Computer Science, Vol. 181, Iss. 1, 1997-07 ,pp. : 141-157

Elsevier

Access to resources Recommend Favorite

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. : 57-71

Elsevier

Access to resources Recommend Favorite