Ka I.潘。;马丁·斯特芬;沃尔克·斯托尔茨 行为效应系统对锁处理进行死锁检查。 (英语) 兹比尔1246.68097 J.日志。阿尔盖布。程序。 81,第3期,331-354(2012).MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.I.Pun}等人,J.Log。阿尔盖布。程序。81、3号、331--354(2012;Zbl 1246.68097) 全文: 内政部
托马斯·佩塞利 反向通用解析算法和反向驱动。 (英语) Zbl 1246.68076号 J.日志。阿尔盖布。程序。 81,第3期,314-330(2012).MSC公司:68号01 68N20型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.Pécseli},J.Log。阿尔盖布。程序。81、3号、314--330(2012;Zbl 1246.68076) 全文: 内政部
鲁,齐;迈克尔·马德森;马丁·米拉塔;瑟伦·瑞文;乌里·法伦贝格;Larsen,Kim G。 基于max-plus代数的时间自动机可达性分析。 (英语) Zbl 1279.68214号 J.日志。阿尔盖布。程序。 81,第3号,298-313(2012).MSC公司:60年第68季度 65年第68季度 15A80型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{Q.Lu}等人,J.Log。阿尔盖布。程序。81,第3号,298--313(2012;Zbl 1279.68214) 全文: 内政部 哈尔
法特梅·卡泽梅尼;埃纳尔·布罗赫·约翰森;Owe、Olaf;伊兰科·巴拉辛厄姆 WSN节能分组协议的形式化建模和验证。 (英语) Zbl 1252.68041号 J.日志。阿尔盖布。程序。 81,第3期,284-297(2012).MSC公司:64岁以下 68个M12 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{F.Kazemeyni}等人,J.Log。阿尔盖布。程序。81、3号、284--297(2012;Zbl 1252.68041) 全文: 内政部
埃纳尔·布罗赫·约翰森;Mai Thoung Tran,Thi公司;Owe、Olaf;马丁·斯特芬 多线程Java的安全锁定,但有例外。 (英语) Zbl 1246.68077号 J.日志。阿尔盖布。程序。 81,第3期,257-283(2012).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Johnsen}等人,J.Log。阿尔盖布。程序。81,第3号,257--283(2012;Zbl 1246.68077) 全文: 内政部
Din、Crystal Chang;约翰·多夫兰;埃纳尔·布罗赫·约翰森;Owe、Olaf 分布式系统的可观察行为:并发对象的组件推理。 (英语) Zbl 1247.68184号 J.日志。阿尔盖布。程序。 81,第3期,227-256(2012).MSC公司:68问题85 68号30 64岁以下 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Din}等人,J.Log。阿尔盖布。程序。81、3号、227--256(2012;Zbl 1247.68184) 全文: 内政部
贝诺·德拉哈耶;Larsen,Kim G。;Legay、Axel;米克尔·L·佩德森。;安德烈·索夫斯基 区间马尔可夫链的一致性和精化。 (英语) Zbl 1247.68195号 J.日志。阿尔盖布。程序。 81,第3期,209-226(2012).MSC公司:87年第68季度 2017年第68季度 60J10型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人,J.Log。阿尔盖布。程序。81、3号、209--226(2012;Zbl 1247.68195) 全文: 内政部
克罗拉德,T。;Polonowski,E。 从形式化的控制概念中导出用于非局部跳跃的Floyd-Hoare逻辑。 (英语) Zbl 1259.03044号 J.日志。阿尔盖布。程序。 第181-208号第81页(2012年).MSC公司:03B70号 68甲18 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Crolard}和\textit{E.Polonowski},J.Log。阿尔盖布。程序。81,第3号,181--208(2012;Zbl 1259.03044) 全文: 内政部 arXiv公司
马格纳斯·约翰逊;比约恩·维克多;约阿希姆·帕罗 计算psi-calculi的强互模拟和弱互模拟。 (英语) Zbl 1277.68192号 J.日志。阿尔盖布。程序。 81,第3期,162-180(2012).MSC公司:68问题85 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Johansson}等人,J.Log。阿尔盖布。程序。81,第3号,162--180(2012;Zbl 1277.68192) 全文: 内政部
Waldén,M。(编辑);皮特,L。(编辑) 特刊:第22届北欧规划理论研讨会(NWPT 2010)。论文基于2010年11月10日至12日在芬兰图尔库举行的研讨会上的陈述。 (英语) Zbl 1246.68060号 J.日志。阿尔盖布。程序。81,第3期,162-354(2012)。 MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式