Výpis 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.

   Podrobněji: https://is.muni.cz/publication/488376/cs