BibTeX记录簿/sp/17/ZWZ2017
@book{DBLP:books/sp/17/ZWZ2017， editor={Naijun Zhan和 Shuling Wang和 赵恒军}， title={Simulink/Stateflow图的形式验证，{A}演绎 接近}， publisher={Springer}， 年份={2017年}， url={ https://doi.org/10.1007/978-3-319-47016-0 }, doi={10.1007/978-3-319-47016-0}， isbn={978-3-319-47014-6}， timestamp={2020年10月19日星期一09:52:10+0200}， biburl={ https://dblp.org/rec/books/sp/17/ZWZ2017.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
