TY  - BOOK
AU  - "Naijun Zhan, Shuling Wang, Hengjun Zhao"
TI  - Formal Verification of Simulink/Stateflow Diagrams
SN  - 978-3-319-47016-0
PB  - Springer
KW  - Engineering; Circuits and Systems; Processor Architectures; Electronic Circuits and Devices
UR  - http://link.springer.com/openurl?genre=book&isbn=978-3-319-47016-0
ER  -