Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2003

  1. 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.
  2. 2001

  3. 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.
Zobrazit podrobně
Zobrazeno: 5. 8. 2020 15:48