@第{DagRep.12.12条, title={{Dagstuhl Reports,第12卷,第12期,2022年12月,完整版}}, 页数={1--75}, 日志={Dagstuhl报告}, ISSN={2192-5283}, 年份={2023}, 体积={12}, 数字={12}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.12 }, URN={URN:nbn:de:0030-drops-178429}, doi={10.4230/DagRep.12.12}, annote={关键词:Dagstuhl报告,第12卷,第12期,2022年12月,完整版} }
@第{DagRep.12.12.i条, title={{Dagstuhl Reports,目录,第12卷,第12期,2022}}, 页面={i--ii}, journal={Dagstuhl报告}, ISSN={2192-5283}, 年份={2023}, 体积={12}, 数字={12}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.12.12.i }, URN={URN:nbn:de:0030-drops-178435}, doi={10.4230/DagRep.12.12.i}, annote={Keywords:目录,Frontmatter} }
@第{kunze_et_al:DagRep.12.2.1条, author={Kunze、Kai和Maes、Pattie和Mueller、Florian `Floyd'和Wolf、Katrin}, title={{认知增强(Dagstuhl研讨会22491)}}, 页数={1--26}, journal={Dagstuhl报告}, ISSN={2192-5283}, 年份={2023}, 体积={12}, 数字={12}, editor={Kunze,Kai和Maes,Pattie和Mueller,Florian `Floyd'和Wolf,Katrin}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.2.1 }, URN={URN:nbn:de:0030-drops-178445}, doi={10.4230/DagRep.12.12.1}, annote={关键词:增强人类、增强现实、可穿戴计算} }
@第{attiya_et_al:DagRep.12.12.27条, 作者={阿提雅、哈吉特和埃纳、康斯坦丁和拉吉斯鲍姆、塞尔吉奥和索科洛娃、安娜}, title={{形式化方法和分布式计算:一起更强(Dagstuhl研讨会22492)}}, 页数={27--53}, 日志={Dagstuhl报告}, ISSN={2192-5283}, 年份={2023}, 体积={12}, 数字={12}, editor={阿提亚(Attiya)、哈吉特(Hagit)和埃纳(Enea)、君士坦丁(Constantin)和拉兹鲍姆(Rajsbaum)、塞尔吉奥(Sergio)和索科洛娃(Sokolova)、阿纳(Ana)}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.127 }, URN={URN:nbn:de:0030-drops-178452}, doi={10.4230/DagRep.122.27}, annote={关键词:自动验证和推理、并发数据结构和事务、分布式算法、大规模复制} }
@第{aguiar_et_al:DagRep.12.12.54条, 作者={Aguiar、Ana和Altintas、Onur和Dressler、Falko和Karlsson、Gunnar和Klingler、Florian}, title={{车辆间通信-从边缘支持到弱势道路使用者II(Dagstuhl研讨会22512)}}, 页数={54--73}, 日志={Dagstuhl报告}, ISSN={2192-5283}, 年份={2023}, 体积={12}, 数字={12}, editor={Aguiar、Ana和Altintas、Onur和Dressler、Falko和Karlsson、Gunnar和Klingler、Florian}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.12.54 }, URN={URN:nbn:de:0030-drops-178466}, doi={10.4230/DagRep.12.12.54}, annote={关键词:5G/6G、自行车手、合作驾驶、边缘计算、智能交通系统、行人、触觉互联网、V2X、车对车通信、脆弱道路用户} }