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