BibTeX记录conf/fmcad/BittnerBCGG14
@正在进行{DBLP:conf/fmcad/BittnerBCGG14， author={Benjamin Bittner和 Marco Bozzano和 亚历山德罗·西马蒂和 马可·加里奥和 阿尔贝托·格里乔（Alberto Griggio）， title＝{朝向单调成本函数的帕累托最优参数合成}， booktitle={计算机辅助设计中的形式方法，{FMCAD}2014，瑞士洛桑， 2014年10月21日至24日}， 页码＝{23-30}， publisher={{IEEE}}， 年份={2014}， url={ https://doi.org/10.109/FMCAD.2014.6987591 }, doi={10.1109/FMCAD.2014.6987591}， timestamp={2021年10月14日星期四10:13:16+0200}， 比布尔={ https://dblp.org/rec/conf/fmcad/BittnerBCGG14.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
