Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2006

  1. DELZANNO, Giorgio, Javier ESPARZA a Jiří SRBA. Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. In Automated Technology for Verification and Analysis (ATVA'06). Netherlands: Springer-Verlag, 2006. 15 s. ISBN 3-540-47237-1.
  2. JANČAR, Petr a Jiří SRBA. Undecidability Results for Bisimilarity on Prefix Rewrite Systems. LNCS, Foundations of Software Science and Computation Structures (FOSSACS'06), Netherlands: Spinger-Verlag, 2006, roč. 2006, č. 3921, s. 277-291.
Zobrazit podrobně
Zobrazeno: 13. 8. 2020 02:45