An Integration of Model Checking with Automated Proof Checking.

S. Rajan Natarajan Shankar Mandayam K. Srivas An Integration of Model Checking with Automated Proof Checking. 84-97 1995 conf/cav/1995 CAV db/conf/cav/cav95.html#RajanSS95 http://dx.doi.org/10.1007/3-540-60045-0_42