概率Mu-Calculus的BibTeX导出：可判定性和完全公理化

复制到剪贴板 下载

@会议记录{larsen_et_al:LIPIcs.FSTTCS.2016.25，作者＝{Larsen，Kim G.和Mardare，Radu和Xue，Bingtian}，title={{概率Mu-Calculus:判定性和完全公理化}}，booktitle={第36届IARCS软件技术与理论计算机科学基础年会（FSTTCS 2016）}，页数={25:1--25:18}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-027-9}，ISSN={1868-8969}，年份＝{2016}，体积={65}，editor={Lal，Akash and Akshay，S.和Saurabh，Saket and Sen，Sandeep}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.25},URN＝{URN:nbn:de:00030-drops-68607}，doi={10.4230/LIPIcs.FSTTCS.2016.25}，annote={关键词：马尔可夫过程，概率模态多演算，n元（in-）方程模式，可满足性，公理化}}

Dagstuhl Publishing在其网页上提供的元数据，以及我们网站上提供的导出格式（如XML或BibTeX），根据CC0 1.0公共域专用许可证发布。也就是说，您可以自由复制、分发、使用、修改、转换、构建，并根据我们的数据制作衍生作品，即使是出于商业目的，都是未经许可的。当然，如果您能为我们提供链接作为数据来源，我们将非常高兴。

请阅读完整的CC0 1.0法律法规，了解适用的确切条款：https://creativecommons.org/publicdomain/zero/1.0/legalcode