Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2007

    1. On Symbolic Verification of Weakly Extended PAD
      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. ISSN 1571-0661.
      URL
      Název česky: Symbolicka verifikace slabe rozsirenych PAD
      RIV/00216224:14330/07:00021744 Stať ve sborníku. Informatika. angličtina. Německo.
      Bouajjani, Ahmed (504 Maroko) -- Strejček, Jan (203 Česká republika, garant) -- Touili, Tayssir (788 Tunisko)
      Klíčová slova anglicky: rewrite systems; infinite-state systems; symbolic reachability analysis; model checking
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 23. 6. 2009 17:48.
      Podrobněji: https://is.muni.cz/publication/702264/cs

    2006

    1. On Symbolic Verification of Weakly Extended PAD
      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.
      Název česky: Symbolicka verifikace slabe rozsirenych PAD
      RIV/00216224:14330/06:00018747 Stať ve sborníku. Informatika. angličtina. Německo.
      Bouajjani, Ahmed (504 Maroko) -- Strejček, Jan (203 Česká republika, garant) -- Touili, Tayssir (788 Tunisko)
      Klíčová slova anglicky: rewrite systems; infinite-state systems; symbolic reachability analysis; model checking
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 18. 6. 2007 14:11.
      Podrobněji: https://is.muni.cz/publication/719602/cs
Zobrazeno: 2. 5. 2024 19:38