For the most recent entries see the Petri Nets Newsletter.

An NPN system for Estelle verification.

Jirachiefpattana, Ajin; Lai, Richard

In: Proceedings of the 12th international conference on computer communication on Information highways : for a smaller world and better living, 1996, Seoul, South Korea, pages 435-440. IOS Press, December 1996.

Keywords: Estelle; formal specification; numerical Petri net; protocol verification; reachability analysis.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography