For the most recent entries see the Petri Nets Newsletter.

PROTEAN: A Specification and Verification Aid for Communication Protocols.

Billington, J.; Wheeler, G.R.; Wilbur-Ham, M.C.

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.

Back to the Petri Nets Bibliography