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