For the most recent entries see the
Petri Nets Newsletter.
A Net Based Theorem Prover for Program Verification and Synthesis.
Darlington, J.L.
Gesellschaft für Math. und Datenverarbeitung mbH Bonn, Interner Bericht des IST 3/79,
December 1979.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography