and Halbwachs, N.: Minimal model generation (1990)

by A Bouajjani, J C Fernandez
Venue:Proceedings of International Conference on Computer Aided Verification (CAV’90), Lecture Notes in Comput. Sci. 531