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

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