Výpis publikací

2009

1. Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete

   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, 2009, s. 112-126. ISBN 978-3-642-03465-7. Dostupné z: https://dx.doi.org/10.1007/978-3-642-03466-4_7.

   Název česky: Zevrubné zjemnění na modálních přechodových systémech je EXPTIME-úplný problém
   RIV/00216224:14330/09:00065771 Stať ve sborníku. Informatika. angličtina. Malajsie.
   Beneš, Nikola (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Larsen, Kim G. (208 Dánsko) -- Srba, Jiří (203 Česká republika, domácí)
   Klíčová slova anglicky: compositional verification; modal transition systems; refinement
   Druh sborníku: postkonferenční sborník
   Mezinárodní význam: ano
   Recenzováno: ano
   Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2014 05:53.

   Podrobněji: https://is.muni.cz/publication/833644/cs
2. On Determinism in Modal Transition Systems

   BENEŠ, Nikola, Jan KŘETÍNSKÝ, Kim G. LARSEN a Jiří SRBA. On Determinism in Modal Transition Systems. Theoretical Computer Science. Elsevier, 2009, roč. 410/2009, č. 41, s. 4026-4043. ISSN 0304-3975.

   Název česky: O determinismu v modálních přechodových systémech
   RIV/00216224:14330/09:00029307 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
   Beneš, Nikola (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Larsen, Kim G. (208 Dánsko) -- Srba, Jiří (203 Česká republika, domácí)
   Klíčová slova anglicky: compositional verification; modal transition systems; determinism; refinement; consistency
   Mezinárodní význam: ano
   Recenzováno: ano
   Změnil: RNDr. Nikola Beneš, Ph.D., učo 72525. Změněno: 24. 10. 2013 16:20.

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