Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan 0001. Progress on Powertrain Verification Challenge with C2E2. In Goran Frehse, Matthias Althoff, editors, 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015. Volume 34 of EPiC Series in Computing, pages 207-212, EasyChair, 2015. [doi]
@inproceedings{FanDM015,
title = {Progress on Powertrain Verification Challenge with C2E2},
author = {Chuchu Fan and Parasara Sridhar Duggirala and Sayan Mitra and Mahesh Viswanathan 0001},
year = {2015},
url = {http://www.easychair.org/publications/paper/Progress_on_Powertrain_Verification_Challenge_with_C2E2},
researchr = {https://researchr.org/publication/FanDM015},
cites = {0},
citedby = {0},
pages = {207-212},
booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015},
editor = {Goran Frehse and Matthias Althoff},
volume = {34},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}