Výpis publikací

2003

1. Undecidability of Domino Games and Hhp-Bisimilarity

   JURDZINSKI, Martin, Nielsen MOGENS a Jiří SRBA. Undecidability of Domino Games and Hhp-Bisimilarity. Information and Computation. Netherlands: Springer-Verlag, 2003, roč. 184, č. 2, s. 343-368. ISSN 0890-5401.

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