Biblio

Found 1 results

Filters: Author is Althoff, Matthias [Clear All Filters]

2015

Fan C, Duggirala PSridhar, Mitra S, Viswanathan M. 2015. Progress on Powertrain Verification Challenge with C2E2. International Workshop on Applied Verification for Continuous and Hybrid Systems, (ARCH). :207–212.