Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2008

  1. JANČAR, Petr a Jiří SRBA. Undecidability of Bisimilarity by Defender's Forcing. Journal of the ACM, New York: ACM, 2008, roč. 55/2008, č. 1, s. 1-26. ISSN 0004-5411.
  2. 2007

  3. BOUAJJANI, Ahmed, Jan STREJČEK a Tayssir TOUILI. On Symbolic Verification of Weakly Extended PAD. In Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006). Neuveden: Elsevier, 2007. s. 47-64, 18 s. ISSN 1571-0661.
  4. 2006

  5. BOUAJJANI, Ahmed, Jan STREJČEK a Tayssir TOUILI. On Symbolic Verification of Weakly Extended PAD. In Preliminary Proceedings - 13th International Workshow on Expressiveness in Concurrency - EXPRESS'06. London: Imperial College London, 2006. s. 29-41, 13 s.
Zobrazit podrobně
Zobrazeno: 26. 5. 2020 09:54