From prehistoric to post -modern symbolic model checking (1998)

by Henzinger TA, O Kupferman, S Qadeer
Venue:In: Hu AJ, Vardi MY (eds) Proceedings of the 10th international conference on computer-aided verification (CAV