Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2005

    1. The stuttering principle revisited
      KUČERA, Antonín a Jan STREJČEK. The stuttering principle revisited. Acta informatica. Berlin: Springer-Verlag, 2005, roč. 41, 7/8, s. 415-434. ISSN 0001-5903.
      Podrobněji: https://is.muni.cz/publication/573833/cs

    2002

    1. Boundaries and Efficiency of Verification
      STREJČEK, Jan. Boundaries and Efficiency of Verification. In Proceedings of summer school MOVEP 2002. Nantes (France): IRCCyN, Ecole Centrale de Nantes, France, 2002, s. 403-408.
      Podrobněji: https://is.muni.cz/publication/405436/cs
Zobrazit podrobně
Zobrazeno: 24. 7. 2024 02:00