Uppaal: Status and developments (0)

by Kim G Larsen, Paul Pettersson, Wang Yi
Venue:Computer Aided Verification, 9th International Conference, CAV ’97