%0 Conference Paper %1 conf/cpsweek/DeshmukhIJKBGSW15 %A Deshmukh, Jyotirmoy V. %A Ito, Hisahiro %A Jin, Xiaoqing %A Kapinski, James %A Butts, Kenneth R. %A Gerhard, Jürgen %A Samadi, Behzad %A Walker, Kevin %A Xie, Yuzhen %B ARCH@CPSWeek %D 2015 %E Frehse, Goran %E Althoff, Matthias %I EasyChair %K dblp %P 98-112 %T Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark. %U http://dblp.uni-trier.de/db/conf/cpsweek/arch2014-15.html#DeshmukhIJKBGSW15 %V 34

@inproceedings{conf/cpsweek/DeshmukhIJKBGSW15, added-at = {2016-06-16T00:00:00.000+0200}, author = {Deshmukh, Jyotirmoy V. and Ito, Hisahiro and Jin, Xiaoqing and Kapinski, James and Butts, Kenneth R. and Gerhard, Jürgen and Samadi, Behzad and Walker, Kevin and Xie, Yuzhen}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2cd547d75ce90e7b98998271a171a1221/dblp}, booktitle = {ARCH@CPSWeek}, crossref = {conf/cpsweek/2014-15arch}, editor = {Frehse, Goran and Althoff, Matthias}, ee = {http://www.easychair.org/publications/paper/Piecewise-Affine_Approximations_for_a_Powertrain_Control_Verification_Benchmark}, interhash = {e01d36b89b82a8eb4b77572e1bd1428e}, intrahash = {cd547d75ce90e7b98998271a171a1221}, keywords = {dblp}, pages = {98-112}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2016-06-17T09:33:21.000+0200}, title = {Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark.}, url = {http://dblp.uni-trier.de/db/conf/cpsweek/arch2014-15.html#DeshmukhIJKBGSW15}, volume = 34, year = 2015 }