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