Ground temporal logic: a logic for hardware veri (1994)

by D Cyrluk, P Narendran
Venue:Computer-Aided Veri (CAV '94), LNCS 818