. "2"^^ . "Bisimilarity of processes with finite-state systems"@en . "793753" . "Ku\u010Dera, Anton\u00EDn" . . "RIV:J17/97:27240 112!RIV/1998/MSM/MSM8R20" . "Bisimilarity of processes with finite-state systems"@en . . "1"^^ . "Bisimulace proces\u016F s kone\u010Dn\u011B stavov\u00FDmi syst\u00E9my" . "[0A69EE82EC7E]" . . "14;14" . "9" . . "Jan\u010Dar, Petr" . . . . "0"^^ . "1997" . "Elektronic Notes in Theoretical Computer Scince 9" . "27240" . . "Bisimulace proces\u016F s kone\u010Dn\u011B stavov\u00FDmi syst\u00E9my" . "RIV:J17/97:27240 112" .