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/hybrid/BengtssonLLPY95
%A Bengtsson, Johan
%A Larsen, Kim Guldstrand
%A Larsson, Fredrik
%A Pettersson, Paul
%A Yi, Wang
%B Hybrid Systems
%D 1995
%E Alur, Rajeev
%E Henzinger, Thomas A.
%E Sontag, Eduardo D.
%I Springer
%K dblp
%P 232-243
%T UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems.
%U http://dblp.uni-trier.de/db/conf/hybrid/hybrid95.html#BengtssonLLPY95
%V 1066
%@ 3-540-61155-X
@inproceedings{conf/hybrid/BengtssonLLPY95,
added-at = {2017-06-15T00:00:00.000+0200},
author = {Bengtsson, Johan and Larsen, Kim Guldstrand and Larsson, Fredrik and Pettersson, Paul and Yi, Wang},
biburl = {https://www.bibsonomy.org/bibtex/21662dd2b8e643a10233fa865708613f1/dblp},
booktitle = {Hybrid Systems},
crossref = {conf/hybrid/1995},
editor = {Alur, Rajeev and Henzinger, Thomas A. and Sontag, Eduardo D.},
ee = {https://doi.org/10.1007/BFb0020949},
interhash = {e11293c5a9126d33b1b34b79903194f9},
intrahash = {1662dd2b8e643a10233fa865708613f1},
isbn = {3-540-61155-X},
keywords = {dblp},
pages = {232-243},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T14:52:05.000+0200},
title = {UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems.},
url = {http://dblp.uni-trier.de/db/conf/hybrid/hybrid95.html#BengtssonLLPY95},
volume = 1066,
year = 1995
}