Sciweavers

STACS
2000
Springer

Simulation and Bisimulation over One-Counter Processes

14 years 3 months 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)