{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,9,13]]，“日期-时间”：“2023-09-13T18:20:24Z”，“时间戳”：169462922464}，“引用-计数”：40，“出版商”：“Springer Science and Business Media LLC”，“问题”：“3-4”，“许可证”：[{“开始”：{-“日期-零件”：[[2007,3,17]]，”日期-时间“：”2007-03-17T00:00:00Z“，“timestamp”：117408960000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com/tdm”}，{“start”：{“date-parts”：[[2007,3,17]]，“date-time”：“2007-03-17T00:00:00Z”，“timetamp”：11.74089600000}，/tdm“}]，“内容域”：{“域”：[“link.springer.com”]，“交叉标记限制”：false｝，“短容器标题”：[“Int J Softw Tools Technol Transfer”]，“已出版印刷品”：｛“日期部分”：[[2007,6]]｝，“DOI”：“10.1007\\s10009-007-0037-y”，“类型”：“期刊文章”，“已创建”：｛“日期部分”：[[2007,3,16]，“日期时间”：“2007-03-16T06:31:45Z”，“时间戳”：1174026705000｝，“页面”：“305-326”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“source”：“Crossref”、“is-referenced-by-count”：6，“title”：[“能力交换信令协议的验证”]，“prefix”：“10.1007”，”volume“：”9“，”author“：[{”given“：林”，“family”：“刘”，“sequence”：“first”，“affiliation”：[]}，{”fixed“：”Jonathan“，”family“：”Billington“，”sequence“：“additional”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2007,3,17]]}，“reference”：[{“key”：“37_CR1”，“doi-asserted-by”：“crossref”，”unstructured“：”Andreasen，F.，Foster，B.：媒体网关控制协议（MGCP），RFC 3435。IETF（2003）“，”DOI“：”10.17487\/rfc3435“}，{“key”：“37_CR2”，“unstructured”：“AT&T FSM Library \n TM\n.htt:\/\/www.research.att.com\/sw\/tools\/FSM\/“}”，{”key“：”37_CR3“，”unstructure“：”AT&T Lextools.http:\/\\/www.resourch.att.com \/sw\/tools\/Lextools\/“}.，{“”Atwood，J.W.、Ghodrat，M.、Tasak，D.：使用正式规范和观察员来指定和验证ATM信令协议。摘自：《第24届本地计算机网络会议论文集》（LCN\u201999），第117\u2013120页（1999）“}，{“key”：“37_CR5”，“volume-title”：“编译器构造：理论与实践”，“author”：“W.A.Barrett”，“year”：“1986”，“unstructured”：“Barrett W.A.，Couch J.D.（1986）《编译器构造：理论与实践》，第2版。Science Research Associates，Chicago”，“版本”：“2”}，{“key”：“37_CR6”，“非结构化”：“Billington，J.：协议的形式规范：协议工程。收录于Kent，A.，Williams，J.G.，Kent，R.（eds.）《微型计算机百科全书》，第7卷，第299\u2013314页。Marcel Dekker，Inc.，1991年“}，{”key“：”37_CR7“，”doi-asserted-by“：”crossref“，”unstructured“：”Billington，J.，Gallasch，G.E.，Han，B.：协议验证的有色petri网方法。In：并发和petri网讲座：petri网进展，计算机科学讲座笔记，第3098卷，第210\u2013290页。Springer，Heidelberg（2004）“，“DOI”：“10.1007\/978-3-540-27755-2_6”}，{“key”：“37_CR8”，“unstructured”：“Design\/CPN主页。http:\/\/www.daimi.au.dk\/designCPN\/”}Floreani，D.J.，Billington，J.：使用有色petri网和设计/CPN设计和验证通信网关。摘自：《第17届petri网应用与理论国际会议论文集》（ICATPN\u201996），《计算机科学讲义》，第1091卷，第153\u2013171页。大阪，斯普林格，海德堡（1996）“，“DOI”：“10.1007\/3-540-61363-3_9”}，{“问题”：“9”，“密钥”：“37_CR10”，“DOI-asserted-by”：“出版商”，“首页”：“1495”，“DOI:”10.1109\/JPROC.2002.802005“，“卷”：“90”，“作者”：“B.古德”，“年份”：“2002”，“非结构化”：“古德B.（2002）。互联网语音协议（VoIP）。IEEE Proc.90（9）：1495\u20131517“，”journal-title“：”程序。IEEE“}，{”key“：”37_CR11“，”doi-asserted-by“：”crossref“，”unstructured“：”Groves，C.，Pantaleo，M.，Anderson，T.，Taylor，T.：RFC 3525，网关控制协议版本1。IETF（2003）“，”DOI“：”10.17487\/rfc3525“}，{“key”：“37_CR12”，“unstructured”：“H.323 Information Site.http:\\/www.packetizer.com/voip\/h323\/”}，“key“：”37_CR13“，”volume-title“：”计算机协议的设计和验证“，”author“：”G.J.Holzmann“，”year“：”1990“，”unstructure“：”Holzmann-G.J.（1990）.计算机协议的设计和验证。Prentice Hall，Englewood cliff“}，{“key”：“37_CR14”，“doi-asserted-by”：“crossref”，“unstructured”：“Hopcroft，J.E.，Motwani，R.，Ullman，J.D.：第二版。自动机理论、语言和计算导论。Addison-Wesley，Reading（2001）”，“doi”：“10.1145 \/568438.568455”}，“key“：”37_CR15“，”非结构化“：”Huecas，G.，Mariz，J.L.，Vinyes，J.，Vazquez，E.：使用LOTOS形式描述技术的ISDN Q.931实体规范。摘自：第六届地中海电工会议论文集，第522\u2013525页，1991年5月37_CR18“，“非结构化”：“ITU-T.建议T.120，多媒体会议数据协议（1996）”}，{“键”：“37_CR19”，“非结构”：“ITU-T.推荐Z.120，消息序列图（MSC）（1996）“}，}“键“：”37_CR20“，”非结构化“：”ITU-T建议Q.931，ISDN用户网络接口层3基本呼叫控制规范（1998）”}，{“key”：“37_CR21”，“unstructured”：“ITU-T建议Z.100，规范和描述语言（SDL）（1999）”}，{”key“：”37_CR22“，”unstructure“：”ITU-T建议书H.225.0，基于数据包的多媒体通信系统的呼叫信令协议和媒体流打包（2003）“}，”{“密钥”：“37 _CR23”，“非结构化”：“ITU-T。建议H.323，基于分组的多媒体通信系统（2003）“}，{“key”：“37_CR24”，“unstructured”：“ITU-T.建议H.245，多媒体通信控制协议（2005）”}，}“key:”37_CR25“，”unstructure“：”ITU-T建议H.248.1，网关控制协议：版本3（2005）crossref”，“非结构化”：“Jensen，K.：有色Petri网：基本概念、分析方法和实际应用，第1卷，第2版。Springer，（1997）“，“DOI”：“10.1007\/978-3-642-60794-3”}，{“key”：“37_CR27”，“unstructured”：“Jones，P.E.：H.323概述，2004年6月。http://www.packetizer.com/voip\/h323\/papers\/overview_of_h323.html“}，{“问题”：“2”，“密钥”：“37_CR28”，“doi-asserted-by”：“发布者”，“首页”：“98”，“doi”：“10.1007\/s100090050021”，“卷”：“二”，“作者”：“L.M.Kristensen”，“年份”：“1998”，“非结构化”：“Kristenson L.M.，Christensen S.，Jensen K.（1998）.从业人员\u2019s有色Petri网指南。国际期刊软件。技术工具。Transf公司。2（2）：98\u2013132“，“期刊标题”：“国际期刊软件”。技术工具。Transf公司。}，{“key”：“37_CR29”，“doi-asserted-by”：“crossref”，“unstructured”：“Liu，L.，Billington，J.：互联网多媒体协议的建模与分析\u2014方法论和初步结果。摘自：国际系统工程理事会第十一届国际年会论文集（INCOSE\u201901），CD-ROM，论文编号3.2.4（8页），墨尔本（2001）“，“DOI”：“10.1002\/j.2334-5837.2001.tb02301.x”}，{“key”：“37_CR30”，“unstructured”：“Liu，L.，Billington，j.：H.245 CES协议的建模与分析。收录：第三次研讨会论文集和彩色petri网和CPN工具实际使用教程（CPN\u201901），第95\u2013114页，Aarhus（2001）“}，{“key”：“37_CR31”，“doi-asserted-by”：“crossref”，“unstructured”：“Liu，L.，Billington，J.：处理多媒体控制协议服务规范的无限状态空间。摘自：第23届国际petri网应用与理论会议论文集（ICATPN\u201902），《计算机科学讲义》，第2360卷，第273\u2013293页。Springer，Heidelberg（2002）”，“DOI”：“10.1007\/3-5440-48068-4_17”｝，｛“key”：“37_CR32”，“非结构化”：“Liu，L.，Billington，J.：CES协议无限服务语言递归公式的证明。技术报告，CSEC-13，南澳大利亚大学计算机系统工程中心（2003年）（2004年6月修订）”｝，｛“key”：“37_CR33”，“非结构化”：“Liu，L.，Billington，J.：获取H.245\u2019s多媒体能力交换信令协议的服务语言：最后一步。摘自：第十届国际多媒体建模会议论文集（MMM\u201904），第323\u2013328页。Brisbane（2004）“}，{“key”：“37_CR34”，“unstructured”：“Liu，L.，Billington，J.：增强CES协议及其验证。摘自：第六次研讨会论文集和彩色petri网和CPN工具实际使用教程（CPN\u201905），第59\u201378页。Aarhus（2005）“}，{“key”：“37_CR35”，“unstructured”：“Radovic，R.，Crkvenac，I.，Srbljic，S.：SIP终端系统行为的正式定义。摘自：《通信趋势国际会议论文集》，技术计划，第2卷，第293\u2013296页IEEE（2001）”}，}Rosenberg，J.、Schulzrinne，H.、Camarillo，G.、Johnston，A.、Peterson，J.，Sparks，R.、Handley，M.、Schooler，E.：SIP：会话初始化协议，RFC 3261。IETF（2002）“，”DOI“：”10.17487\/rfc3261“｝，｛”key“：”37_CR37“，”DOI断言者“：”crossref“，”非结构化“：”Schulzrinne，H.，Agboh，C.：Internet Draft，Session Initiation Protocol（SIP）-H.323 Interworking Requirements。IETF（2003）“，”DOI“：”10.1002\/071219282.eot251“｝，｛”key“：”37_CR38“，”DOI断言者“：”crossref“，”非结构化“：”Schulzrinne，H.、Casner，S.、Frederick，R.、Jacobson，V.：RTP：实时应用的传输协议，RFC 3550。IETF（2003）“，”DOI“：”10.17487\/rfc3550“}，{“key”：“37_CR39”，“unstructured”：“Wang，L.，Agarwal，A.，Atwood，J.W.：使用SDL\/MSC对媒体网关控制协议（MGCP）的描述和验证。In:Proceedings of the Canadian Conference on Electrical and Computer Engineering，vol.2，pp.993\u2013998 IEEE（2001）”}，}“issue”：“5”，“key“：”37_CR40“，”doi-asserted-by“：”publisher“，”first-page“：”77“，”doi“：”10.1016\/j.comnet.2003.12.013“，”volume“：”45“，”author“：”L.Wang“，”year“：”2004“，”unstructured“：”Wang L.，Agarwal A.，Atwood j.W.（2004）。SIP和H.323之间互通的建模和验证。计算。Netw公司。45（5）：77\u201398“，“新闻标题”：“计算。Netw公司。“}]，”container-title“：[”技术转让软件工具国际期刊“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/link.springer.com/content\/pdf\/10.1007\/s10009-007-0037-y.pdf“，”content-type“：”application\/pdf“、”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“”https:\/\/link.springer.com/article\/10.1007\/s10009-007-0037-y\/fulltext.html“，”content-type“：”text\/html“，”content-version“：”vor“，”intended-application“：”text-mining“}，{”URL“：”http://\/link.springer.com\/content\/pdf\/10.10007\/s10009-007-0037-y“，”内容类型“：”unspecified“，”content-version”：“vor”，“intended-application”：“similarity”y检查“}，{”URL“：”https:\/\/link.springer.com/content\/pdf\/10.1007\/s10009-007-0037-y.pdf“，”content-type“：”application\/pdf“、”content-version“：”vor“、”intended-application“：”similarity-checking“}]、”deposed“：{”date-parts“：[2022,5,18]]、”date-time“：“2022-05-18T04:26:18Z”、“timestamptime”：1652847978000}、“score”：1、“resource”:{“primary”：{“URL“：”https://link.springer.com\/10.1007\/s10009-007-0037-037-y“｝｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2007,3,17]｝，“参考文献计数”：40，“期刊发行”：｛“发行”：“3-4”，“已发布印刷品”：｛“日期部分”：[[2007,6]]｝｝，“替代id”：[“37”]，“URL”：“http:\/\/dx.doi.org/10.1007\/s10009-007-007-0037-y”，“关系”：｛｝，“ISSN”：[“1433-2779”，“1433-2787“]，“issn-type”：[{“value”：“1433-2779”，“type”:“print”}，{“value”：“433-2787”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2007,3,17]]}，“assertion”：[[{”value“：”2007年3月17日“，”order“：1，”name“：”first_online“，”label“：”first online“，“group”：{“name”：“Article History”，“label”：“文章历史记录”}}]}}