BibTeX记录日志/corr/abs-cs-0511023
@文章{DBLP:journals/corr/abs-cs-0511023， author={Christel Baier和 Nathalie Bertrand和 菲利普·施诺贝伦}， title={根据{\textdollar}{\textbackslash}omega{\textdollar}验证非确定性概率信道系统-常规 线性时间属性}， 日志={CoRR}， 体积={abs/cs/0511023}， 年份={2005}， url={ http://arxiv.org/abs/cs/0511023 }, eprinttype＝{arXiv}， eprint={cs/0511023}， timestamp={2018年8月13日星期一16:46:41+0200}， biburl={ https://dblp.org/rec/journals/corr/abs-cs-0511023.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
