@inproceedings{0c2341209c2d11db8ed6000ea68e967b,
title = "Online Testing of Real-time Systems using Uppaal: Status and Future Work",
author = "Larsen, {Kim Guldstrand} and Marius Mikucionis and Brian Nielsen",
year = "2004",
language = "English",
volume = "04371",
editor = "Brinksma and Grieskamp and Tretmans and Weyuker",
booktitle = "Dagstuhl Seminar Proceedings",
publisher = "IBFI gem. GmbH, Schloss Dagstuhl",
note = "Perspectives of Model-Based Testing ; Conference date: 05-09-2004 Through 10-09-2004",
}