Uppaal in a nutshell (1997)

by K G Larsen, P Pettersson, W Yi
Venue:Int. J. on Softw. Tools for Technol. Transf