BibTeX记录日记账/corr/abs-2107-03794
@文章{DBLP:journals/corr/abs-2107-03794， author={Miroslav Chodil和 安东·库塞拉， title＝{PCTL的定量片段的可满足性问题}， 日志={CoRR}， 体积={abs/2107.03794}， 年份={2021}， url={ https://arxiv.org/abs/2107.03794 }, eprinttype={arXiv}， eprint={2107.03794}， timestamp={2021年7月20日星期二15:08:33+0200}， biburl={ https://dblp.org/rec/journals/corr/abs-2107-03794.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
