Minimal Model Generation.

Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs

Browse the full CAV paper archive.