@article{BFH+92,
title = {Minimal State Graph Generation },
author = {Bouajjani, Ahmed and Fernandez, Jean-Claude and Halbwachs, Nicolas and Raymond, Pascal},
year = {1992},
journal = {Sci. Comput. Program.},
number = {3},
pages = {247-269},
volume = {18},
team = {DCS, SYNC},
}