. "Rozcesti nekonecnych vysledku"@cs . . . "Roadmap of Infinite Results"@en . "This paper provides a comprehensive summary of equivalence checking results for infinite-state systems. References to the relevant papers will be updated continuously according to the development in the area. The most recent version of this document is available from the web-page http://www.brics.dk/~srba/roadmap." . "1"^^ . . . "RIV/00216224:14330/04:00010683" . . "P(GA201/03/1161), Z(MSM 143300001)" . "584847" . . "1"^^ . . "14330" . . "RIV/00216224:14330/04:00010683!RIV08-MSM-14330___" . . . "Jedna se o prehledovy clanek vysledku v testovani ekvivalance pro nekonecne stavove systemy z hierarchie prepisovacich systemu. Clanek je prubezne aktualizovan a je ke stazeni na autorove strance http://www.brics.dk/~srba/roadmap."@cs . "1" . "Roadmap of Infinite Results" . "infinite-state systems; bisimilarity; complexity; decidability"@en . "Rozcesti nekonecnych vysledku"@cs . . "337-350" . "This paper provides a comprehensive summary of equivalence checking results for infinite-state systems. References to the relevant papers will be updated continuously according to the development in the area. The most recent version of this document is available from the web-page http://www.brics.dk/~srba/roadmap."@en . "[F0300CDA4D24]" . . "US - Spojen\u00E9 st\u00E1ty americk\u00E9" . . "Roadmap of Infinite Results" . . "14"^^ . "Current Trends in Theoretical Computer Science, The Challenge of the New Century" . "2" . . "Srba, Ji\u0159\u00ED" . "Roadmap of Infinite Results"@en . . .