BibTeX记录conf/adhs/MitschSTPZJWZ18
@进行中{DBLP:conf/adhs/MitschSTPZJWZ18， 作者=｛Stefan Mitsch和 Andrew Sogokon和 Yong Kiam Tan和 Andr｛\'｛e｝｝Platzer和 赵恒军和 Jin Xiangyu和 Shuling Wang和 Naijun Zhan， editor={Goran Frehse和 马蒂亚斯·阿尔霍夫和 Sergiy Bogomolov和 泰勒·T·约翰逊}， title={{ARCH-COMP18}类别报告：混合系统定理证明}， booktitle={{ARCH18.}第五届连续性应用验证国际研讨会 和混合动力系统， ADHS建筑 2018年7月13日，英国牛津}， series={计算中的EPiC系列}， 体积={54}， 页数={110--127}， publisher={EasyChair}， 年份={2018年}， url={ https://doi.org/10.29007/vjh3 }, doi={10.29007/VJH3}， timestamp={太阳，2021年8月15日00:16:54+0200}， biburl={ https://dblp.org/rec/conf/adhs/MitschSTPZJWZ18.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
