Cover Image
Read Now

1
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... -- Simulation Problems for One-Counter Machine -- On Semantics of Petri Nets Over Partial Algebra -- Towards...”