Masarykova univerzita
Výpis publikací
česky
|
in English
Filtrování publikací
Omezující kritéria
Určeno pro RIV:
ano
ne
Rok uplatnění publikace:
2006
Zrušit všechna omezení
Zvoleným kritériím neodpovídá žádná publikace.
2006
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
Zobrazit podrobně
Zobrazeno:
20. 10. 2024 03:08