Filtrování

    2003

    1. Model checking LTL with regular valuations for pushdown systems
      ESPARZA, Javier; Antonín KUČERA a Stefan SCHWOON. Model checking LTL with regular valuations for pushdown systems. Information and Computation. Academic Press, 2003, roč. 186, č. 2, s. 355-376. ISSN 0890-5401.
      Podrobněji: https://is.muni.cz/publication/488376/cs

    2001

    1. Model-Checking LTL with Regular Valuations for Pushdown Systems
      ESPARZA, Javier; Antonín KUČERA a Stefan SCHWOON. Model-Checking LTL with Regular Valuations for Pushdown Systems. N. Kobayashi, B.C. Pierce (Eds.). In Proceedings of 4th International Symposium on Theoretical Aspects of Computer Software (TACS 2001). Berlin, Heidelberg, New York: Springer, 2001, s. 316-340. Lecture Notes in Computer Science, vol. 2215. ISBN 3-540-42736-8.
      Podrobněji: https://is.muni.cz/publication/372791/cs
Zobrazit podrobně