Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2009

    1. BENEŠ, Nikola, Jan KŘETÍNSKÝ, Kim G. LARSEN a Jiří SRBA. Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. In Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings. Heidelberg: Springer-Verlag. s. 112-126. ISBN 978-3-642-03465-7. doi:10.1007/978-3-642-03466-4_7. 2009.
    2. BENEŠ, Nikola, Jan KŘETÍNSKÝ, Kim G. LARSEN a Jiří SRBA. On Determinism in Modal Transition Systems. Theoretical Computer Science. Elsevier, roč. 410/2009, č. 41, s. 4026-4043. ISSN 0304-3975. 2009.
Zobrazit podrobně
Zobrazeno: 21. 4. 2024 14:10