Another look at LTL model checking (1994)

by E Clarke, O Grumberg, K Hamaguchi
Venue:In Proc. of the 6th Int. Conf. on Computer Aided Verification (CAV’94), volume 818 of LNCS