贾斯敏·费希尔;托马斯·亨辛格(Thomas A.Henzinger)。;德扬·尼科维奇;尼尔·皮特曼;Anmol V.辛格。;莫舍·瓦尔迪。 动态反应模块。 (英语) Zbl 1343.68167号 Katoen,Joost-Pieter(编辑)等,CONCUR 2011–并发理论。2011年9月6日至9日,第22届国际会议,CONCUR 2011,德国亚琛。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23216-9/pbk)。计算机科学课堂讲稿6901,404-418(2011)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Fisher}等人,Lect。注释计算。科学。6901404--418(2011;Zbl 1343.68167) 全文: 内政部
里克·埃舒伊斯 协调状态图语义。 (英语) Zbl 1171.68021号 科学。计算。程序。 74,第3号,65-99(2009).MSC公司:第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{R.Eshuis},科学。计算。程序。74,第3号,65--99(2009;Zbl 1171.68021) 全文: 内政部
迈克尔·莫勒;奥尔德罗格(Ernst-Rüdiger Olderog);霍尔格·拉什;海克·卫尔海姆 使用UML和Java将形式化方法集成到软件工程过程中。 (英语) 兹比尔1141.68024 正式Asp。计算。 20,第2期,161-204(2008).MSC公司:68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Möller}等人,正式Asp。计算。20,第2号,161--204(2008;Zbl 1141.68024) 全文: 内政部