Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems

• Authors:

• Ed Brinksma;Rance Cleaveland;Kim Guldstrand Larsen;Tiziana Margaria;Bernhard Steffen

• Affiliations:

• -;-;-;-;-

• Venue:
• TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
• Year:
• 1995