A Note on Model Checkers Reuse and Validation.

Nikolay V. Shilov Kwangkeun Yi A Note on Model Checkers Reuse and Validation. 69-77 2000 conf/aplas/2000 APLAS db/conf/aplas/aplas2000.html#ShilovY00