OPEN/CÆSAR: An open software architecture for verification, simulation, and testing (1998)

by H Garavel
Venue:Proc. 1st Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1998), volume 1384 of LNCS