Adding Symmetry Reduction to UPPAAL (2004)

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