@article{96dc931f03704e249522333a342a1d09,
title = "Developing UPPAAL over 15 years",
author = "Gerd Behrmann and Alexandre David and Larsen, {Kim Guldstrand} and Paul Pettersson and Wang Yi",
year = "2011",
month = jan,
doi = "10.1002/spe.1006",
language = "English",
volume = "41",
pages = "133--142",
journal = "Software: Practice & Experience",
issn = "0038-0644",
publisher = "Wiley",
number = "2",
note = "Workshop on Tool Building in Formal Methods, ABZ 2010, Orford Canada ; Conference date: 22-02-2010",
}