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