BibTeX记录日志/fgcs/GuzzoIPS20
@文章{DBLP:journals/fgcs/GuzzoIPS20， author={Antonella Guzzo和 米歇尔·伊安尼和 安德烈亚·普格利泽和 多梅尼科·萨克{\`{a}}}， title={建模并有效检测的安全关键序列 操作}， journal={未来通用计算系统}， 体积={113}， 页数={196--206}， 年份={2020年}， url={ https://doi.org/10.1016/j.future.2020.06.054 }, doi={10.1016/J.FUTURE.2020.06.054}， timestamp={2023年8月28日星期一21:32:33+0200}， biburl={ https://dblp.org/rec/journals/fgcs/GuzzoIPS20.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
