Masaryk University

Publication Records

česky | in English

Filter publications

    2008

    1. Undecidability of Bisimilarity by Defender's Forcing
      JANČAR, Petr and Jiří SRBA. Undecidability of Bisimilarity by Defender's Forcing. Journal of the ACM. New York: ACM, 55/2008, No 1, p. 1-26. ISSN 0004-5411. 2008.
      More: https://is.muni.cz/publication/780198/en

    2007

    1. On Symbolic Verification of Weakly Extended PAD
      BOUAJJANI, Ahmed, Jan STREJČEK and Tayssir TOUILI. On Symbolic Verification of Weakly Extended PAD. In Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006). Neuveden: Elsevier. p. 47-64. ISSN 1571-0661. 2007.
      More: https://is.muni.cz/publication/702264/en

    2006

    1. On Symbolic Verification of Weakly Extended PAD
      BOUAJJANI, Ahmed, Jan STREJČEK and 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. p. 29-41. 2006.
      More: https://is.muni.cz/publication/719602/en
Display details
Displayed: 19/4/2024 19:40