Verification in Concurrent Programming with Petri Nets Structural Techniques

• Authors:

• Kamel Barkaoui;Jean-François Pradat-Peyre

• Affiliations:

• -;-

• Venue:
• HASE '98 The 3rd IEEE International Symposium on High-Assurance Systems Engineering
• Year:
• 1998