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