Výpis publikací

2006

1. Model Checking Probabilistic Pushdown Automata

   ESPARZA, Javier, Antonín KUČERA a Richard MAYR. Model Checking Probabilistic Pushdown Automata. Logical Methods in Computer Science. 2006, roč. 2, 1-2, s. 1-31. ISSN 1860-5974.

   Podrobněji: https://is.muni.cz/publication/630845/cs