Uppaal in a nutshell (1997)

by K G Larsen, P Pettersson, W Yi
Venue:Journal of Software Tools for Technology Transfer