For the most recent entries see the Petri Nets Newsletter.

Verification of Protocols against the Corresponding Service.

Eckert, H.; Prinoth, R.

Gesellschaft für Math. und Datenverarbeitung mbH Bonn, Arbeitspapiere der GMD Nr 105, August 1984.

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

Back to the Petri Nets Bibliography