Minimal state graph generation (1992)

by N Halbwachs P Raymond, C Rat el
Venue:Sciel~ce of Compu(er Programming