%0 Conference Paper %1 conf/cpsweek/FanDM015 %A Fan, Chuchu %A Duggirala, Parasara Sridhar %A Mitra, Sayan %A Viswanathan, Mahesh %B ARCH@CPSWeek %D 2015 %E Frehse, Goran %E Althoff, Matthias %I EasyChair %K %P 207-212 %T Progress on Powertrain Verification Challenge with C2E2. %U http://dblp.uni-trier.de/db/conf/cpsweek/arch2014-15.html#FanDM015 %V 34

@inproceedings{conf/cpsweek/FanDM015, added-at = {2023-12-12T20:14:40.000+0100}, author = {Fan, Chuchu and Duggirala, Parasara Sridhar and Mitra, Sayan and Viswanathan, Mahesh}, biburl = {https://www.bibsonomy.org/bibtex/2d5964e81f5c5b86e208e1cae8c8962af/admin}, booktitle = {ARCH@CPSWeek}, crossref = {conf/cpsweek/2014-15arch}, editor = {Frehse, Goran and Althoff, Matthias}, ee = {https://easychair.org/publications/paper/LS}, interhash = {2c7dda53a5379be1f5b9586f5c65a0ac}, intrahash = {d5964e81f5c5b86e208e1cae8c8962af}, keywords = {}, pages = {207-212}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2023-12-12T20:14:40.000+0100}, title = {Progress on Powertrain Verification Challenge with C2E2.}, url = {http://dblp.uni-trier.de/db/conf/cpsweek/arch2014-15.html#FanDM015}, volume = 34, year = 2015 }