. . . . "709883" . "RIV/00216224:14330/00:00002264" . "Efficient Verification Algorithms for One-Counter Processes" . "3-540-67715-1" . "12"^^ . "Efficient Verification Algorithms for One-Counter Processes" . . "Ku\u010Dera, Anton\u00EDn" . . . . "Efficient Verification Algorithms for One-Counter Processes"@en . "Proceedings of 27th International Colloquium on Automata, Languages and Programming (ICALP 2000)" . . . . "14330" . "Berlin, Heidelberg, New York" . . "concurrency, bisimulation, one-counter automata"@en . . "Berlin, Heidelberg, New York" . . "Springer-Verlag" . "2000-01-01+01:00"^^ . "317" . "1"^^ . "[82BF700C5311]" . "P(GA201/00/0400), P(GA201/98/P046), Z(MSM 143300001)" . "Efficient Verification Algorithms for One-Counter Processes"@en . . "0"^^ . "1"^^ . . . "0"^^ . "RIV/00216224:14330/00:00002264!RIV/2002/GA0/143302/N" . . "N/A"@en . "N/A" . .