Michael I.Dekhtyar等人：应用时间逻辑分析合作逻辑程序的行为。(1999) conf/ershov/DekhtyarDV99 10.1007/3-540-46562-6_20 应用时序逻辑分析协同逻辑程序的行为。 三 迈克尔·德克蒂亚 1 亚历山大·贾。迪科夫斯基 2 马尔斯·瓦利耶夫 三 228-234 埃尔绍夫纪念大会 埃尔绍夫纪念大会 1999 2000 dblp记录“conf/ershov/DekhtyarDV99”的RDF数据的来源信息 2017-05-21T00:18:10+0200