Výpis publikací

2002

1. Simulation Preorder over Simple Process Algebras

   KUČERA, Antonín a Richard MAYR. Simulation Preorder over Simple Process Algebras. Information and Computation. Academic Press, 2002, roč. 173, č. 2, s. 184-198. ISSN 0890-5401.

   Podrobněji: https://is.muni.cz/publication/401191/cs