Symbolic simulation: theory and application to protocol modeling and validation.

Ritu Chadha Isil Sebüktekin

Published in: ICNP (1994)

Keyphrases

lightweight
discrete event simulation
modeling method
theoretical framework
data sets
information systems
database systems
decision support
network simulator