BibTeX记录conf/wsfm/GardnerW09
@正在进行{DBLP:conf/wsfm/GardnerW09， author={Philippa Gardner和 Mark J.Wheelhouse公司}， editor={Cosimo Laneve和 苏建文， title={树更新的小型规范}， booktitle={Web服务和形式方法，第六届国际研讨会，{WS-FM} 2009年9月4日至5日，意大利博洛尼亚，修订论文集}， series={计算机科学讲稿}， 体积={6194}， 页数={178--195}， publisher={Springer}， 年份={2009}， url={ https://doi.org/10.1007/978-3-642-14458-5 \_11}, doi={10.1007/978-3-642-14458-5\_11}， timestamp={2019年5月14日星期二10:00:41+0200}， biburl={ https://dblp.org/rec/conf/wsfm/GardnerW09.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
