Adding symmetry reduction to uppaal (2003)

by M Hendriks, G Behrmann, K G Larsen, P Niebert, F W Vaandrager
Venue:In Proc. FORMATS, LNCS 2791