Proceedings of the 14th International Conference on Computer Aided Verification

• Authors:

• Ed Brinksma;Kim Guldstrand Larsen

• Affiliations:

• -;-

• Venue:
• CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
• Year:
• 2002