Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen. A Tutorial on Uppaal. In Marco Bernardo, Flavio Corradini, editors, Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures. Volume 3185 of Lecture Notes in Computer Science, pages 200-236, Springer, 2004. [doi]
@inproceedings{BehrmannDL04,
title = {A Tutorial on Uppaal},
author = {Gerd Behrmann and Alexandre David and Kim Guldstrand Larsen},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3185&spage=200},
researchr = {https://researchr.org/publication/BehrmannDL04},
cites = {0},
citedby = {0},
pages = {200-236},
booktitle = {Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures},
editor = {Marco Bernardo and Flavio Corradini},
volume = {3185},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-23068-8},
}