For the most recent entries see the Petri Nets Newsletter.

Protocol Analysis Using Predicate Nets.

Azéma, P.; Papapanagiotakis, G.

In: Fifth Int. Workshop on Protocol Specification, Verification and Testing, Toulouse. June 1985.

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

Back to the Petri Nets Bibliography