Minimal model generation (1990)

by A Bouajjani, J C Fernandez, N Halbwachs
Venue:Proc. of Int. Conference on Computer Aided Verification (CAV’90), volume 531 of Lecture Notes in Computer Science