The Versus Language: Representing Time Efficiently with BDDs

• Authors:

• Sérgio Vale Aguiar Campos;Edmund M. Clarke

• Affiliations:

• -;-

• Venue:
• ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
• Year:
• 1997