BibTeX记录日志/sttt/JacobsBBEHKPRRS17
@文章{DBLP:journals/sttt/JacobsBBEHKPRRS17， author={Swen Jacobs和 罗德里克·布隆和 Romain Brenguier和 R{\“{u}}diger Ehlers和 提摩太地狱和 罗伯特·K和 吉列尔莫·A·P{\'{e}}rez和 牛仔 {-}弗兰 {\c{c}}ois Raskin和 Leonid Ryzhyk和 Ocan Sankur和 马蒂娜·塞德尔和 Leander Tentrup和 亚当·沃克}， title={第一届反应合成竞赛{（SYNTCOMP}2014）}， journal={国际期刊软件工具技术翻译}， 体积={19}， 数字={3}， 页数={367--390}， 年份={2017年}， url={ https://doi.org/10.1007/s10009-016-0416-3 }， doi={10.1007/S10009-016-0416-3}， 时间戳={2023年3月21日星期二21:10:33+0100}， biburl={ https://dblp.org/rec/journals/sett/JacobsBBEHKPRRS17.bib }， bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
