BibTeX记录日志/corr/abs-2004-02983
@文章{DBLP:journals/corr/abs-2004-02983， author={Sadegh Dalvandi和 Brijesh Dongol和 西蒙·多尔蒂}， title={将C11型记忆模型的Owicki-Gries集成到Isabelle/HOL}中， 日志={CoRR}， 体积={abs/2004.02983}， 年份={2020年}， 网址={ https://arxiv.org/abs/2004.02983 }, eprinttype={arXiv}， eprint={2004.02983}， timestamp={2020年4月8日星期三17:08:25+0200}， 比布尔={ https://dblp.org/rec/journals/corr/abs-2004-02983.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
