Verifying Estelle specifications: numerical Petri nets approach.

Ajin Jirachiefpattana, Richard Lai

Browse the full ICNP paper archive.