Uppaal in a Nutshell. (1997)

by Kim G Larsen, Paul Pettersson, Wang Yi
Venue:Int. Journal on Software Tools for Technology Transfer,