LORETO: a tool for reducing state explosion in verification of LOTOS programs

• Authors:

• Roberto Barbuti;Nicoletta de Francesco;Antonella Santone;Gigliola Vaglini

• Affiliations:

• -;-;-;-

• Venue:
• Software—Practice & Experience
• Year:
• 1999