Adding Symmetry Reduction to UPPAAL (2004)

by Martijn Hendriks , Gerd Behrmann , Kim Larsen , Peter Niebert , Frits Vaandrager
Citations:19 - 4 self