F.W.: Adding symmetry reduction to UPPAAL. (2004)

by M Hendriks, G Behrmann, K G Larsen, P Niebert, Vaandrager
Venue:Formal Modeling and Analysis of Timed Systems (FORMATS ’03).