UPPAAL: Status Developments (1997)

by Kim G Larsen, Paul Pettersson, Wang Yi
Venue:In Proceedings of CAV'97