Minimal model generation (0)

by A Bouajjani, J-C Fernandez, N Halbwachs
Venue:in CAV 90: Computer-Aided Verification, ser. Lecture