UPPAAL in a nutshell (1997)

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