BibTeX记录conf/ershov/DekhtyarDV99
@正在进行{DBLP:conf/ershov/DekhtyarDV99， author={Michael I.Dekhtyar和 亚历山大·贾。 迪科夫斯基和 Mars K.Valiev}， editor={Dines Bj{\o}rner和 曼弗雷德·布罗伊和 亚历山大·萨姆林（Alexandre V.Zamulin）， title={应用时间逻辑分析合作逻辑的行为 程序}， booktitle={系统信息学的观点，第三国际安德烈·埃尔肖夫 7月，俄罗斯新西伯利亚Akademgorodok，PSI'99纪念大会 1999年6月9日，会议记录}， series={计算机科学讲稿}， 体积={1755}， 页数={228--234}， publisher={Springer}， 年份={1999}， url={ https://doi.org/10.1007/3-540-46562-6 \_20}, doi={10.1007/3-540-46562-6\_20}， timestamp={2019年5月14日星期二10:00:44+0200}， biburl={ https://dblp.org/rec/conf/ershov/DekhtyarDV99.bib }， bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
