Sciweavers

86
Voted
STACS
2000
Springer

Simulation and Bisimulation over One-Counter Processes

15 years 1 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)