Symbolic model checking [chapter]

E. Clarke, K. McMillan, S. Campos, V. Hartonas-Garmhausen
1996 Lecture Notes in Computer Science  
doi:10.1007/3-540-61474-5_93 fatcat:luz3iefbijeepg2q5cmhflefee