%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 }