For the most recent entries see the Petri Nets Newsletter.

A Computation-Systems Based Method for Automated Proving of Protocols against Services.

Eckert, H.; Prinoth, R.

In: Rudin, H.; West, C.H.: Protocol Specification, Testing, and Verification, III, pages 213-228. Elsevier Science Publishers B. V. (North-Holland), 1983.

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

Back to the Petri Nets Bibliography