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