For the most recent entries see the
Petri Nets Newsletter.
A Computation-Systems Based Method for Automated Proving of Protocols against Services.
Rudin, H.; West, C.H.: Protocol Specification, Testing, and Verification, III, pages 213-228.
Elsevier Science Publishers B. V. (North-Holland),
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography