BibTeX记录conf/tacas/HeizmannDGLMSP16
@进行中{DBLP:conf/tacas/HeizmannDGLMSP16， 作者=｛Matthias Heizmann和 Daniel Dietsch和 马吕斯·格雷特斯和 Jan Leike和 贝蒂姆·穆萨和 克劳斯Sch{\“{a}}tzle和 安德烈亚斯·波德尔斯基， editor={Marsha Chechik和 牛仔 {-}弗兰 {\c{c}}ois Raskin}， title={具有双轨证明的终极自动驾驶仪-（竞争贡献）}， booktitle={系统构建和分析的工具和算法 -2016年第22届国际会议，{TACAS}，作为 欧洲软件理论与实践联合会议 2016年，荷兰埃因霍温，2016年4月2日至8日，诉讼程序}， series={计算机科学讲稿}， 体积={9636}， 页数={950--953}， publisher={Springer}， 年份={2016年}， url={ https://doi.org/10.1007/978-3-662-49674-9 \_68}, doi={10.1007/978-3-662-49674-9\68}， timestamp={2024年5月7日星期二20:10:37+0200}， biburl={ https://dblp.org/rec/conf/tacas/HeizmannDGLMSP16.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
