亚历山德罗·西马蒂;塞尔吉奥·莫弗;斯特凡诺·托内塔 混合系统基于SMT的场景验证。 （英语） Zbl 1284.03216号 形式方法系统。设计。 42，第1期，46-66（2013）.MSC公司：05年3月 60年第68季度 68T20型 65年第68季度 03B44号 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，《形式方法系统》。设计。42，第1号，46--66（2013；Zbl 1284.03216） 全文： 内政部
杰斯珀·亨利克森。;马达万穆昆德;K.Narayan Kumar;米林·索霍尼;Thiagarajan，P.S。 正规MSC语言理论。 （英语） Zbl 1101.68656号 Inf.计算。 202，第1期，1-38页（2005）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Henriksen}等人，《信息计算》。202，第1号，1--38（2005；Zbl 1101.68656） 全文： 内政部
郑彤;费哈特·肯德克;洛伊奇·赫鲁埃特 定时MSC的语义。 （英语） Zbl 1268.68118号 Caillaud，Benoit（编辑）等人，VISS 2002。2002年4月6日至14日，法国格勒诺布尔，验证和实施基于场景的规范国际研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第7期，85-99（2002）。MSC公司：60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.Zheng}等人，《电子》。注释Theor。计算。科学。65，编号7，85-99（2002；Zbl 1268.68118） 全文： 内政部
曼弗雷德·布罗伊 开发过程中的消息序列图-角色和限制。 （英语） Zbl 1268.68109号 Caillaud，Benoit（编辑）等人，VISS 2002。2002年4月6日至14日，法国格勒诺布尔，验证和实施基于场景的规范国际研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第7期，第18-33页（2002年）。MSC公司：60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，电子。注释Theor。计算。科学。65，第7号，18-33（2002；Zbl 1268.68109） 全文： 内政部
赵承茂;金贤浩（Kim，Hyung Ho）;Cha、Sung Deok;裴斗焕 序列图的语义。 （英语） Zbl 1042.68072号 信息处理。莱特。 84，第3期，125-130（2002）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Cho}等人，《信息处理》。莱特。84，第3号，125-130（2002年；兹bl 1042.68072） 全文： 内政部
李宣东;谭文凯;郑国良 检查MSC规范的定时不一致性。 （英语） Zbl 1004.68098号 J.计算。科学。Technol公司。 17，第1期，47-55（2002）.MSC公司：60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{X.Li}等人，《计算杂志》。科学。Technol公司。17，第1号，47-55（2002；Zbl 1004.68098） 全文： 内政部
彼得·拉德金。;斯特凡·洛伊 解释消息流图。 （英语） Zbl 0838.68075号 正式Asp。计算。 7，第5期，473-509（1995）.MSC公司：68问题55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.B.Ladkin}和\textit{S.Leue}，正式Asp。计算。7，第5号，473--509（1995；Zbl 0838.68075） 全文： 内政部