BibTeX记录日志/at/LadigesKCBHAFU18
@文章{DBLP:journals/at/LadigesKCBHAFU18， author={Jan Ladiges和 Aljosha K{\“{o}}cher和 Peer Clement和 亨利·布洛赫和 托马斯·霍尔姆和 Paul Altmann和 亚历山大·费伊和 利昂·乌尔巴斯（Leon Urbas）， title={Entwurf，Modellierung und Verifikation von Serviceabh{\“{a}}ngigkeiten 在Prozessmodulen}中， journal={自动}， 体积={66}， 数字＝{5}， 页数={418--437}， 年份={2018年}， url={ https://doi.org/10.1515/auto-2017-0076 }， doi={10.1515/AUTO-2017-0076}， timestamp={2020年7月22日星期三22:03:18+0200}， biburl={ https://dblp.org/rec/journals/at/LadigesKCBHAFU18.bib }， bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
