Sciweavers

STACS
2000
Springer

Simulation and Bisimulation over One-Counter Processes

15 years 11 days ago
Simulation and Bisimulation over One-Counter Processes
Petr Jancar, Antonín Kucera, Faron Moller
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 2000
Where STACS
Authors Petr Jancar, Antonín Kucera, Faron Moller
Comments (0)