Generation of reduced models for checking fragments of CTL (1993)

by D Dams, O Grumberg, R Gerth
Venue:In Proc. 5th Conference on Computer Aided Verification (CAV ’93), LNCS 697