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 bengtsson+others/95/uppaal
%A Bengtsson, Johan
%A Larsen, Kim G.\
%A Larsson, Fredrik
%A Pettersson, Paul
%A Yi, Wang
%B Proc.\ of Workshop on Verification and Control of Hybrid Systems III
%D 1995
%I Springer
%K imported
%N 1066
%P 232--243
%T Uppaal --- a Tool Suite for Automatic Verification of Real--Time Systems
@inproceedings{bengtsson+others/95/uppaal,
added-at = {2009-05-20T01:29:36.000+0200},
author = {Bengtsson, Johan and Larsen, Kim G.\ and Larsson, Fredrik and Pettersson, Paul and Yi, Wang},
biburl = {https://www.bibsonomy.org/bibtex/256ef6d625946ef8b17688dfd9c2b0899/sriram0339},
booktitle = {Proc.\ of Workshop on Verification and Control of Hybrid Systems III},
description = {First cut database},
interhash = {5ca6202e74912f66999c651c71b36b17},
intrahash = {56ef6d625946ef8b17688dfd9c2b0899},
keywords = {imported},
month = {October},
number = 1066,
pages = {232--243},
publisher = {Springer},
series = {LNCS},
timestamp = {2009-05-20T01:29:37.000+0200},
title = {{{\sc Uppaal} --- a Tool Suite for Automatic Verification of Real--Time Systems}},
year = 1995
}