BibTeX记录日志/mics/FietzkeW12
@文章{DBLP:journals/mics/FietzkeW12， 作者＝｛Arnaud Fietzke和 克里斯托夫·魏登巴赫（Christoph Weidenbach）， title={叠加作为时间自动机的决策过程}， journal={Math.Comput.Sci.}， 体积={6}， 数字={4}， 页数={409--425}， 年份={2012}， url={ https://doi.org/10.1007/s11786-012-0134-5 }, doi={10.1007/S11786-012-0134-5}， timestamp={2020年8月12日星期三10:36:12+0200}， biburl={ https://dblp.org/rec/journals/mics/FietzkeW12.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
