Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen. Online Testing of Real-time Systems Using Uppaal. In Jens Grabowski, Brian Nielsen, editors, Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers. Volume 3395 of Lecture Notes in Computer Science, pages 79-94, Springer, 2004. [doi]
@inproceedings{LarsenMN04:0,
title = {Online Testing of Real-time Systems Using Uppaal},
author = {Kim Guldstrand Larsen and Marius Mikucionis and Brian Nielsen},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3395&spage=79},
tags = {testing},
researchr = {https://researchr.org/publication/LarsenMN04%3A0},
cites = {0},
citedby = {0},
pages = {79-94},
booktitle = {Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers},
editor = {Jens Grabowski and Brian Nielsen},
volume = {3395},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-25109-X},
}