Another look at LTL model checking (1994)

by E Clarke, O Grumberg, K Hamaguchi
Venue:Computer Aided Verification, 6th International Conference (CAV’94), volume 818 of LNCS