About this scholarly article

2015 Formal Methods in Computer-Aided Design (FMCAD) - Proving hybrid systems by Platzer, Andre is a scholarly article available to read on EtoBox.

Author

Platzer, Andre

Publisher

IEEE

Published

2015