巴拉戈帕尔·科马拉斯;贾亚拉尔·萨尔马;苏尼尔,K.S。 关于L-可达性的复杂性。 (英语) Zbl 1371.68154号 芬达姆。通知。 145,第4号,471-483(2016).MSC公司:65年第68季度 2015年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Komarath}等人,基金会。通知。145,第4号,471--483(2016;Zbl 1371.68154) 全文: 内政部
迈克尔·科勒-布·迈耶;弗兰克·海特曼 安全基本黄蜂可达性问题的上界。 (英语) Zbl 1358.68215号 芬达姆。通知。 143,编号1-2,89-100(2016).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Köhler-Bußmeier}和\textit{F.Heitmann},Fundam。通知。143,编号1--2,89-100(2016;Zbl 1358.68215) 全文: 内政部
克里斯托夫·哈斯;约尔·瓦克宁;詹姆斯·沃雷尔 将时间自动机和计数器自动机中的可达性问题联系起来。 (英语) Zbl 1357.68106号 芬达姆。通知。 143,编号3-4,317-338(2016).MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Haase}等人,Fundam。通知。143,编号3--4,317--338(2016;Zbl 1357.68106) 全文: 内政部
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 通过专门化改进无限状态系统的可达性分析。 (英语) Zbl 1279.68209号 芬达姆。通知。 119,编号3-4,281-300(2012).MSC公司:60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}等人,Fundam。通知。119,编号3--4,281--300(2012;Zbl 1279.68209) 全文: 内政部
Yen、Hsu-Chun 关于概率离散事件系统的几乎确定性质。 (英语) Zbl 1234.68313号 芬达姆。通知。 110,编号1-4,343-359(2011).MSC公司:68问题85 93元65角 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-C.Yen},芬丹。通知。110,编号1--4,343--359(2011;Zbl 1234.68313) 全文: 内政部
Kimmo Varpaaniemi公司;利奥·奥贾拉 使用谓词/传递网对量子隐形传态和密集编码进行建模和仿真。 (英语) Zbl 1160.68477号 芬达姆。通知。 85,编号1-4,465-479(2008).MSC公司:68问题85 68个M12 81页68 68平方英寸 PDF格式BibTeX公司 XML格式引用 \textit{K.Varpaaniemi}和\textit{L.Ojala},Fundam。通知。85,编号1-465-479(2008年;兹bl 1160.68477)
安德烈·兹布雷泽兹尼;阿加塔·波罗拉 基于SAT的离散数据时间自动机可达性检查。 (英语) Zbl 1124.68061号 芬达姆。通知。 79,第3-4号,579-593(2007).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Zbrzezny}和\textit{A.Półrola},Fundam。通知。79,编号3--4,579--593(2007;Zbl 1124.68061)
马钦·斯皮尔卡 具有可达图的RTCP-net分析。 (英语) Zbl 1106.68076号 芬达姆。通知。 74,编号2-3,375-390(2006).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \文本{M.Szpyrka},Fundam。通知。74,编号2--3375--390(2006;Zbl 1106.68076)
斯蒂芬·罗奇 分析和减少信号事件网络中的同时触发。 (英语) Zbl 0963.93058号 芬达姆。通知。 43,编号1-4,321-330(2000). 审核人:内库莱·柯特阿努(伊阿什伊) MSC公司:93元65角 PDF格式BibTeX公司 XML格式引用 \textit{S.Roch},芬丹。通知。43,编号1--4,321-330(2000;Zbl 0963.93058)