Simulation Is Decidable for One-Counter Nets (Extended Abstract).

Parosh Aziz Abdulla Karlis Cerans

Published in: CONCUR (1998)

Keyphrases

extended abstract
database
simulation model
simulation environment
case study
image sequences
numerical simulations
mathematical models
high fidelity
simulation models