BibTeX记录日志/corr/BozzanoCGT15
@文章{DBLP:journals/corr/BuzzanoCGT15， 作者=｛Marco Bozzano和 亚历山德罗·西马蒂和 马可·加里奥和 斯特凡诺·托内塔}， title={异步故障检测和识别组件的形式化设计 使用时间认识逻辑}， journal={Log.Methods计算科学}， 体积={11}， 数字={4}， 年份={2015年}， url={ https://doi.org/10.2168/LMCS-11 (4:4)2015}, doi={10.2168/LMCS-11（4:4）2015}， timestamp={2021年10月14日星期四09:14:37+0200}， biburl={ https://dblp.org/rec/journals/corr/BozzanoCGT15.bib }, bibsource={dblp计算机科学参考书目， 网址：https://dblp.org } }
