@inproceedings{236b60f09c2e11db8ed6000ea68e967b,
title = "A Tool Architecture for the Next Generation of Uppaal",
author = "Gerd Behrmann and Alexandre David and Larsen, {Kim Guldstrand} and Yi Wang",
note = "ISSN ; -; A Tool Architecture for the Next Generation of Uppaal ; Conference date: 19-05-2010",
year = "2003",
language = "English",
booktitle = "UNU/IIST 10th Anniversary Colloquium. Formal Methods at the Cross Roads: From Panacea to Foundational Support",
publisher = "<Forlag uden navn>",
}