Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    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.
      RIV/00216224:14330/03:00008160 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
      Esparza, Javier (724 Španělsko) -- Kučera, Antonín (203 Česká republika, garant) -- Schwoon, Stefan (276 Německo)
      Klíčová slova anglicky: model-checking; liner-time logic; pushdown systems
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 11. 2006 18:17.
      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.
      Název anglicky: Model-Checking LTL with Regular Valuations for Pushdown Systems
      RIV/00216224:14330/01:00004574 Stať ve sborníku. Počítačový hardware a software. angličtina. Německo.
      Klíčová slova anglicky: concurrency; linear temporal logic; pushdown systems
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 29. 11. 2001 12:25.
      Přír. čísla: 4200507102
      Podrobněji: https://is.muni.cz/publication/372791/cs
Zobrazeno: 24. 4. 2024 16:37