Masaryk University

Publication Records

česky | in English

Filter publications

    2003

    1. Undecidability of Domino Games and Hhp-Bisimilarity
      JURDZINSKI, Martin, Nielsen MOGENS and Jiří SRBA. Undecidability of Domino Games and Hhp-Bisimilarity. Information and Computation. Netherlands: Springer-Verlag, 2003, vol. 184, No 2, p. 343-368. ISSN 0890-5401.
      More: https://is.muni.cz/publication/492122/en
Display details
Displayed: 19/9/2024 05:24