An Example of Specification and Verification in Cesar

• Authors:

• J. Cl. Fernandez;J. Ph. Schwartz;Joseph Sifakis

• Affiliations:

• -;-;-

• Venue:
• The Analysis of Concurrent Systems
• Year:
• 1983