Modular Verification of Petri Nets: The Temporal Logic Approach

• Authors:

• Werner Damm;Gert Döhmen;Volker Gerstner;Bernhard Josko

• Affiliations:

• -;-;-;-

• Venue:
• Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
• Year:
• 1989