Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

• Authors:

• Joost-Pieter Katoen;Perdita Stevens

• Affiliations:

• -;-

• Venue:
• TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
• Year:
• 2002