@Inproceedings{bllpw:tacas96, author = {Johan Bengtsson and Kim G.\ Larsen and Fredrik Larsson and Paul Pettersson and Wang Yi}, title = {{{\sc Uppaal} in 1995}}, number = 1055, series = "Lecture Notes in Computer Science", booktitle = "Proc.\ of the 2{\em nd} Workshop on Tools and Algorithms for the Construction and Analysis of Systems", year = 1996, publisher = "Springer--Verlag", pages = {431--434}, month = Mar }