BibTeX记录期刊/tcs/CastiglioniLT20
@文章{DBLP:journals/tcs/CastiglioniLT20， author={Valentina Castiglioni和 米歇尔·洛雷蒂和 西蒙·蒂尼}， title={非确定性上的度量线性时间分支时间谱 概率过程}， 日志={Theor.Comput.Sci.}， 体积={813}， 页数={20--69}， 年份={2020年}， url={ https://doi.org/10.1016/j.tcs.2019.09.019 }, doi={10.1016/J.TCS.2019.09.019}， timestamp={2020年10月26日星期一08:45:45+0100}， biburl={ https://dblp.org/rec/journals/tcs/CastiglioniLT20.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
