(1)
Bengtsson, J.; Larsen, K. G.; Larsson, F.; Pettersson, P.; Yi, W. UPPAAL in 1995. BRICS 1996, 3.