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

Ritu Chadha, Isil Sebktekin

Browse the full ICNP paper archive.