Verification of specifications written in ESTELLE, using petri nets

• Authors:

• V. Dimitrov;A. Petkov

• Affiliations:

• -;-

• Venue:
• Automatic Control and Computer Sciences
• Year:
• 1990