BibTeX记录conf/生日/DekhtyarDV08
@正在进行{DBLP:conf/生日/DekhtyarDV08， author={Michael I.Dekhtyar和 亚历山大·贾。 迪科夫斯基和 Mars K.Valiev}， editor={Arnon Avron和 Nachum Dershowitz和 亚历山大·拉比诺维奇}， title={概率多代理系统的时间验证}， booktitle={计算机科学的支柱，献给鲍里斯·特拉赫滕布罗特的论文 在他85岁生日的时候， series={计算机科学讲稿}， 体积={4800}， 页数={256--265}， publisher={Springer}， 年份＝{2008}， url={ https://doi.org/10.1007/978-3-540-78127-1 \_14} ， doi={10.1007/978-3-540-78127-1\_14}， timestamp={2019年5月14日星期二10:00:52+0200}， biburl={ https://dblp.org/rec/conf/birthday/DekhtyarDV08.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
