Filtrování

    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
Zobrazit podrobně