@inproceedings{a325d27d6f594522975459c9f9b87ddd,
title = "T-UPPAAL: Online model-based testing of real-time systems",
keywords = "METIS-223927",
author = "M. Mikucionis and K.G. Larsen and B. Nielsen",
year = "2004",
month = sep,
day = "20",
language = "Undefined",
isbn = "0-7695-2131-2",
pages = "396--397",
editor = "P. Grunbacher",
booktitle = "Proceedings of the 19th IEEE international conference on automated software engineering",
publisher = "IEEE Computer Society",
address = "United States",
note = "null ; Conference date: 20-09-2004 Through 24-09-2004",
}