Petri Nets Applied to the Formal Verification of Parallel and Communicating Processes.

For the most recent entries see the Petri Nets Newsletter.

Dissertation. Bethlehem, PA: Lehigh University., 1987.

Keywords: formal verification; communicating process.

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