Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems

• Authors:

• Hubert Garavel;John Hatcliff

• Affiliations:

• INRIA Rhôe-Alpes, Montbonnot Saint Martin, France;Kansas State University, Department of Computing and Information Sciences, Manhattan, KS

• Venue:
• TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
• Year:
• 2003