The Verus language: representing time efficiently with BDDs

• Authors:

• Sérgio Vale Aguiar Campos;Edmund Clarke

• Affiliations:

• Univ. Federal de Minas Gerais, Belo Horizonte, Brazil;Carnegie Mellon Univ., Pittsburgh, PA

• Venue:
• Theoretical Computer Science - Special issue on real-time systems and concurrent and distributed software
• Year:
• 2001