我正在使用计算机科学讲义 (LNCS) LATEX 模板,并想将参考书目压缩为更短的形式。
鉴于 bibliographystyle 为:
\bibliographystyle{splncs03}
我想压缩当前输出:
[1] Nguyen, HH、David, C.、Qin, S.、Chin, W.:通过分离逻辑自动验证形状和大小属性。《验证、模型检查和摘要解释》,第 8 届国际会议 VMCAI 2007,法国尼斯,2007 年 1 月 14-16 日,会议录,第 251-266 页(2007 年)
改为较短的形式(本例中缩写会议名称)
[1] Nguyen, HH, David, C., Qin, S., Chin, W.: 通过分离逻辑自动验证形状和尺寸属性。VMCAI 2007,会议录。第 251-266 页(2007 年)
有什么方法可以自动完成此操作而无需修改 Bib 文件?
我的所有 bibtex 都是从 DBLP 网站复制而来的。上述参考书目的 bibtex 是:
@inproceedings{NguyenDQC07,
author = {Huu Hai Nguyen and
Cristina David and
Shengchao Qin and
Wei{-}Ngan Chin},
title = {Automated Verification of Shape and Size Properties Via Separation
Logic},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 8th International
Conference, {VMCAI} 2007, Nice, France, January 14-16, 2007, Proceedings},
pages = {251--266},
year = {2007},
doi = {10.1007/978-3-540-69738-1_18},
timestamp = {Tue, 08 Jan 2008 08:53:10 +0100},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/vmcai/NguyenDQC07},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
非常感谢您花时间阅读我的长问题!