Masaryk University

Publication Records

česky | in English

Filter publications

    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, 2007, p. 47-64. ISSN 1571-0661.
      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, 2006, p. 29-41.
      More: https://is.muni.cz/publication/719602/en
Display details
Displayed: 26/4/2024 21:32