UPPAAL in 1995.

Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi

Browse the full TACAS paper archive.