Meeting a Powertrain Verification Challenge

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21690-4_37 ◽

2015 ◽

pp. 536-543 ◽

Cited By ~ 11

Author(s):

Parasara Sridhar Duggirala ◽

Chuchu Fan ◽

Sayan Mitra ◽

Mahesh Viswanathan

Download Full-text