The following publications are possibly variants of this publication:
- UPPAAL in 1995Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi. TACAS 1996: 431-434
- UPPAAL in a NutshellKim Guldstrand Larsen, Paul Pettersson, Wang Yi. STTT, 1(1-2):134-152, 1997. [doi]
- Uppaal StrategoAlexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist. TACAS 2015: 206-211 [doi]
- A Tutorial on UppaalGerd Behrmann, Alexandre David, Kim Guldstrand Larsen. sfm 2004: 200-236 [doi]
- UPPAAL: Status & DevelopmentsKim Guldstrand Larsen, Paul Pettersson, Wang Yi. cav 1997: 456-459
- UPPAAL - Now, Next, and FutureTobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi. movep 2001: 99-124 [doi]
- UPPAAL Implementation SecretsGerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi. ftrtft 2002: 3-22 [doi]
- Playing Wordle with Uppaal StrategoPeter Gjøl Jensen, Kim G. Larsen, Marius Mikucionis. BIRTHDAY 2022: 283-305 [doi]