Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2002

    1. KUČERA, Antonín a Richard MAYR. Simulation Preorder over Simple Process Algebras. Information and Computation. Academic Press, roč. 173, č. 2, s. 184-198. ISSN 0890-5401. 2002.
Zobrazit podrobně
Zobrazeno: 29. 3. 2024 09:25