Procházení 460 - Katedra informatiky / Department of Computer Science dle typu dokumentu "proceedings paper"
Zobrazují se záznamy 1-1 z 1
-
Selected ideas used for decidability and undecidability of bisimilarity
(Developments in Language Theory : 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008 : Proceedings. 2008, p. 56-71.)