Gate splitting in LOTOS specifications using abstract interpretation

• Authors:

• Fosca Giannotti;Diego Latella

• Affiliations:

• -;-

• Venue:
• TAPSOFT '93 Selected papers of the colloquium on Formal approaches of software engineering
• Year:
• 1994