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.
Zobrazit podrobně
Zobrazeno: 5. 8. 2020 16:45