Výpis publikací

1998

1. Hardness results for weak bisimilarity of simple process algebras

   STŘÍBRNÁ, Jitka. Hardness results for weak bisimilarity of simple process algebras. In Proceedings of MFCS'98 Workshop on Concurrency. Netherlands: Elsevier, 1998, s. 175-183. ENTCS Volume 18.

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