{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{“日期-部分”:[[2023,1,6]],“日期-时间”:“2023-01-06T11:30:49Z”,“时间戳”:1673004649081},“引用-计数”:7,“出版商”:“工程技术学院(IET)”,“问题”:“5”,“内容-域”:{-“域”:[],“交叉标记-限制”:false},“短容器标题”:[“IEE Proc.,Softw.”],“已发布的印刷品”:{“日期部分”:[[2004]]},“DOI”:“10.1049\/ip sen:20041090”,“类型”:“期刊文章”,“已创建”:{“日期部分”:[[2004,12,14]],“日期时间”:“2004-12-14T09:11:39Z”,“时间戳”:1103015499000},“页面”:“219”,“源”:“Crossref”,“由计数引用”:12,“标题”:[“完成时间瞬间的最佳重新启动时间”],“前缀”:“10.1049”,“卷”:“151”,“作者”:[{“给定”:“A.”,“家族”:“van Moorsel”,”sequence“:”first“,”affiliation“:[]},{“指定”:“K.”,”family“:”Wolter“,”segment“:”additional“,”faliation“:[]}],“成员”:“265”,“引用”:[}“key”:“101049\/ip-sen:20041090_r1”,“”doi-asserted-by“:”crossref“,“首页”:“128”,“DOI”:“10.1109\/ISTCS.1993.253477”,“作者”:“Luby”,“年份”:“1993”,“journal-title”:“以色列计算系统理论研讨会”},{“key”:“101049\/ip-sen:20041090_r2”,“author”:“Ruan”,“year”:“2002”,“日记标题”:“Proc.8th Int.Conf.on Principlementals and Practice of Constraint Programmination,Ithaca,NY,USA”}:“10.1049\/ip-sen:20041090_r3”,“doi-asserted-by”:“publisher”,“doi”:“10.1016\/S0165-1889(00“首页”:“103”,“作者”:“雷内克”,“年份”:“2004”,“新闻标题”:“Proc.Service Availability Forum”},{“key”:“10.1049”\/ip-sen:20041090_r6”,“doi-asserted-by”:“publisher”,“doi”:“101007”\/s004539900064“}”,{”key“:”10.1049 \/ip-sen:20041090-r7“,”doi-assert-by“:”crossref“,”first page“195”,”doi“:”101109 \/QEST.2004.1348034“,”author“:”van Moorsel“,“year”:“2004”“,”日记标题“:”Proc.1st Int。系统定量评估会议,IEEE-CS出版社,特温特,荷兰“}],“container-title”:[“IEE Proceedings-Software”],“original-title“:[],“language”:“en”,“link”:[{“URL”:“https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_20041090?crawer=true&mimetype=application\/pdf”,“content-type”:“unspecified”,“content-version“:”vor“,”intended-application“:”similarity-checking“}],”deposed“:{”date-parts“:[[2021,1,1]],”date-time“:”2021-01-01T03:17:55Z“,”timestamp“:1609471075000},”score“:1,”resource“:”{“primary”:{“URL”:“https:\/\/digital-library.theiet.org\/content\/journals\/101049\/ip-sen_20041090”}},“subtitle”:[],“short”标题“:[],”发布“:{”date-parts“:[[2004]]},”references-count“:7,”journal-issue“:{”issue“:“5”,”published-print“:{”date-part“:[[2004]]}},“URL”:“http://\/dx.doi.org\/10.1049\/ip-sen:20041090”,“relationship”:{},‘ISSN’:[”1462-5970“],‘ISSN-type’:[{”value“:”1462-570“,”type“:“print”}],“主题“:[],”已发布“:{“日期-部分”:[[2004]]}}