Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/emsoft/LarsenMNS05
%A Larsen, Kim Guldstrand
%A Mikucionis, Marius
%A Nielsen, Brian
%A Skou, Arne
%B EMSOFT
%D 2005
%E Wolf, Wayne H.
%I ACM
%K dblp
%P 299-306
%T Testing real-time embedded software using UPPAAL-TRON: an industrial case study.
%U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2005.html#LarsenMNS05
%@ 1-59593-091-4
@inproceedings{conf/emsoft/LarsenMNS05,
added-at = {2006-02-13T00:00:00.000+0100},
author = {Larsen, Kim Guldstrand and Mikucionis, Marius and Nielsen, Brian and Skou, Arne},
biburl = {https://www.bibsonomy.org/bibtex/261b5987701bf49dfbec58fd246f84696/dblp},
booktitle = {EMSOFT},
crossref = {conf/emsoft/2005},
editor = {Wolf, Wayne H.},
ee = {http://doi.acm.org/10.1145/1086228.1086283},
interhash = {5fa39ec5e8fd3ef5ef2038956400cd07},
intrahash = {61b5987701bf49dfbec58fd246f84696},
isbn = {1-59593-091-4},
keywords = {dblp},
pages = {299-306},
publisher = {ACM},
timestamp = {2016-08-03T11:42:42.000+0200},
title = {Testing real-time embedded software using UPPAAL-TRON: an industrial case study.},
url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2005.html#LarsenMNS05},
year = 2005
}