BibTeX记录conf/ictac/ZhanWZ13
@正在进行{DBLP:conf/ictac/ZhanWZ13， author={Naijun Zhan和 Shuling Wang和 赵恒军}， editor={刘志明和 吉姆·伍德科克和 朱慧彪}， title={混合系统的形式化建模、分析和验证}， booktitle={统一编程理论和形式工程方法- 国际软件工程培训学校，在{ICTAC}举办 2013年8月26日至30日，中国上海，高级讲座}， series={计算机科学讲义}， 体积={8050}， 页数={207--281}， publisher={Springer}， 年份＝{2013}， url={ https://doi.org/10.1007/978-3-642-39721-9 \_5}, doi={10.1007/978-3-642-39721-9\5}， timestamp={2023年2月17日星期五09:02:01+0100}， biburl={ https://dblp.org/rec/conf/ictac/ZhanWZ13.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
