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

by D Dams, R Gerth, O Grumberg
Venue:Proc. Fifth Conf. on Computer-Aided Verification (CAV), number 697 in Lecture Notes in Computer Science