%0 Conference Paper %1 conf/hybrid/JinDKUB14 %A Jin, Xiaoqing %A Deshmukh, Jyotirmoy V. %A Kapinski, James %A Ueda, Koichi %A Butts, Kenneth R. %B HSCC %D 2014 %E Fränzle, Martin %E Lygeros, John %I ACM %K dblp %P 253-262 %T Powertrain control verification benchmark. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2014.html#JinDKUB14 %@ 978-1-4503-2732-9

@inproceedings{conf/hybrid/JinDKUB14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Jin, Xiaoqing and Deshmukh, Jyotirmoy V. and Kapinski, James and Ueda, Koichi and Butts, Kenneth R.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2da641240324e906f59310b32a081e582/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2014}, editor = {Fränzle, Martin and Lygeros, John}, ee = {https://doi.org/10.1145/2562059.2562140}, interhash = {9257d0e9a1ad368873205caba1558ca1}, intrahash = {da641240324e906f59310b32a081e582}, isbn = {978-1-4503-2732-9}, keywords = {dblp}, pages = {253-262}, publisher = {ACM}, timestamp = {2019-09-27T21:21:40.000+0200}, title = {Powertrain control verification benchmark.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2014.html#JinDKUB14}, year = 2014 }