Simple Proof Techniques for Property Preservation via Simulation.

Ching-Tsun Chou

Published in: Inf. Process. Lett. (1996)

Keyphrases

real time
simulation model
simulation models
discrete event simulation
website
face recognition
wide range
long term