@inproceedings{ccf4d3a09c2d11db8ed6000ea68e967b,
title = "UPPAAL: Status and Developments",
author = "Larsen, {Kim Guldstrand} and P. Pettersson and Wang Yi",
note = "ISSN ; 0302-8743; UPPAAL ; Conference date: 19-05-2010",
year = "1997",
language = "English",
isbn = "3540631666",
editor = "{Grumberg, Orna (ed.)}",
booktitle = "Computer Aided Verification : Proceedings of the 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997",
publisher = "IEEE Computer Society Press",
address = "United States",
edition = "1254",
}