@inproceedings{193676b09c2e11db8ed6000ea68e967b,
title = "Scaling up Uppaal: Automatic Verification of Real-Time Systems Using Compositionality and Abstraction",
author = "Jensen, {Henrik Ejersbo} and Larsen, {Kim Guldstrand} and Arne Skou",
note = "ISSN ; 0302-9743; Scaling up Uppaal ; Conference date: 19-05-2010",
year = "2000",
language = "English",
isbn = "3540410554",
pages = "19--30",
editor = "{Joseph, M. (ed.)}",
booktitle = "Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium, FTRTFT 2000 Pune, India, September 20 - 22, 2000 : Proceedings",
publisher = "IEEE Computer Society Press",
address = "United States",
edition = "1926",
}