For the most recent entries see the
Petri Nets Newsletter.
PROTEAN: A Specification and Verification Aid for Communication Protocols.
Telecom Australia, Switching and Signalling Branch, Paper 113,
expanded Version (to appear in): IEEE Transactions on Software Engineering: Special Issue on Computer Communication Systems.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography