PROTEAN: A Specification and Verification Aid for Communication Protocols.

For the most recent entries see the Petri Nets Newsletter.

Telecom Australia, Switching and Signalling Branch, Paper 113, July 1987.

Also in: expanded Version (to appear in): IEEE Transactions on Software Engineering: Special Issue on Computer Communication Systems. 1987.

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