For the most recent entries see the
Petri Nets Newsletter.
A Net Based Theorem Proving Procedure for Program Verification and Synthesis.
Darlington, J.L.
St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung Bonn, Institut für Software-Technologie,
December 1978.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography