Bae,Kyungmin先生;何塞·梅塞盖尔 用于重写的线性时态逻辑的基于重写的模型检查器。 (英语) Zbl 1291.68244号 Kniesel,Günter(编辑)等人,第九届基于规则的编程国际研讨会(2008年规则),奥地利哈根堡哈根堡城堡,2008年7月14日至18日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记290,19-36(2012)。MSC公司:60年第68季度 03B44号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bae}和\textit{J.Meseguer},电子。理论注释。计算。科学。290、19-36(2012年;Zbl 1291.68244) 全文: 内政部
何塞·费亚德罗;安托尼亚州洛佩斯;乔昂·阿布鲁 面向服务的交互的正式模型。 (英语) Zbl 1243.68138号 科学。计算。程序。 77,第5期,577-608(2012).MSC公司:68甲15 68号30 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{J.Fiadeiro}等人,《科学》。计算。程序。77,第5号,577--608(2012;Zbl 1243.68138) 全文: 内政部
Bae,Kyungmin先生;何塞·梅塞盖尔 重写Maude模型检查器的线性时序逻辑。 (英语) Zbl 1306.68099号 厄尔夫茨基,彼得·萨巴(编辑),重写逻辑及其应用。2010年3月20日至21日,作为ETAPS 2010的卫星活动,在塞浦路斯帕福斯举行了第八届WRLA 2010国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-16309-8/pbk)。计算机科学课堂讲稿6381208-225(2010)。MSC公司:60年第68季度 03B44号 2012年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bae}和\textit{J.Meseguer},莱克特。注释计算。科学。6381208-225(2010年;Zbl 1306.68099) 全文: 内政部
尼古拉·贝内什;布里姆,卢博斯;伊万娜·乔纳;吉里·索科尔;瓦埃科娃,帕夫利纳;巴博拉·齐默洛娃 状态/事件LTL的部分订单减少。 (英语) Zbl 1211.68244号 Leuschel,Michael(编辑)等人,《综合形式方法》。2009年2月16日至19日,德国杜塞尔多夫,第七届国际会议,IFM 2009。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00254-0/pbk)。计算机科学课堂讲稿5423307-321(2009)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,Lect。注释计算。科学。5423307--321(2009;Zbl 1211.68244) 全文: 内政部
何塞·梅塞盖尔 重写的时间逻辑:温和的介绍。 (英语) Zbl 1143.68459号 Degano,Pierpaolo(编辑)等人,《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林:施普林格出版社(ISBN 978-3-540-68676-7/pbk)。计算机科学课堂讲稿5065354-382(2008)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer},莱克特。注释计算。科学。5065354--382(2008年;Zbl 1143.68459) 全文: 内政部
萨加·查基;埃德蒙·克拉克;奥尔纳·格伦伯格;约尔·瓦克宁;娜塔莎·莎莉吉娜;泰瑟·图利;维思,赫尔穆特 分支时间规范的状态/事件软件验证。 (英语) 兹比尔1137.68432 Romijn,Judi(编辑)等人,《综合形式方法》。2005年11月29日至12月2日在荷兰埃因霍温举行的2005年国际单项体育联合会第五届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-30492-0/pbk)。计算机科学课堂讲稿3771,53-69(2005)。MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人,Lect。注释计算。科学。3771、53--69(2005年;Zbl 1137.68432) 全文: 内政部
萨加·查基;埃德蒙·克拉克;约尔·瓦克宁;娜塔莎·莎莉吉娜;尼尚·辛哈 使用状态、事件和死锁进行并发软件验证。 (英语) Zbl 1103.68609号 正式Asp。计算。 17,第4期,461-483(2005).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人,《正式Asp》。计算。17,第4号,461--483(2005;Zbl 1103.68609) 全文: 内政部