Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2007

  1. 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.
  2. 2006

  3. 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: 7. 4. 2020 10:43