Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2005

  1. KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Refining Undecidability Border of Weak Bisimilarity. BRICS Notes Series, San Francisco, USA, 2005, roč. 2005, NS-05-4, s. 3-14. ISSN 0909-3206.
  2. KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper). Brno: FI MU, 2005. FIMU-RS-2005-06.
  3. 2002

  4. ČERNÁ, Ivana a Jitka STŘÍBRNÁ. Modifications of Expansion Trees for Weak Bisimulation in BPA. In Verification of Infinite-State Systems Infinity'2002. The Netherlands: Elsevier Science Publishers, 2002. s. 1-21. ISBN 0444512918.
  5. 1999

  6. STŘÍBRNÁ, Jitka. Approximating Weak Bisimulation on Basic Process Algebras. Brno: Fakulta informatiky Masarykovy university, 1999. 18 s. FI MU Report Series FIMU-RS-99-05.
  7. STŘÍBRNÁ, Jitka. Approximating Weak Bisimulation on Basic Process Algebras. In Mathematical Foundations of Computer Science 1999, Proceedings. Berlin Heidelberg New York: Springer-Verlag, 1999. s. 366-374. Lecture Notes in Computer Science 1672. ISBN 3-540-66408-4.
Zobrazit podrobně
Zobrazeno: 20. 9. 2018 22:32