×

找到18个文档（结果1-18）

最新的 引文 关联
佩拉斯、昆廷；Jean-Paul Bodeveix公司；朱利安·布鲁内尔；戴维·谢穆伊尔

无限状态系统时间特性的合理验证程序。 （英语） Zbl 1493.68219号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。12760, 337-360 (2021).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{Q.Peyras}等人，Lect。票据计算。科学。12760337--360（2021年；Zbl 1493.68219）
全文： 内政部
帕罗什·阿齐兹·阿卜杜拉；西斯特拉·A·普拉萨德；穆拉利达尔·塔卢普尔

模型检查参数化系统。 （英语） Zbl 1392.68223号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。685-725 (2018).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，in：模型检查手册。查姆：斯普林格。685--725（2018；Zbl 1392.68223）
全文： 内政部
贝拉德，贝特里奇；帕斯卡·拉福卡德；小米、劳瑞；玛丽亚·波托普·布图卡鲁；蒂里·米格（Yann Thierry-Mieg）；塞巴斯蒂安·蒂谢尔

移动机器人协议的形式化验证。 （英语） Zbl 1410.68217号

分布计算。 29，第6期，459-487（2016）.
MSC公司：60年第68季度 68个M12 64岁以下
PDF格式BibTeX公司 XML格式引用
\textit｛B.Bérard｝等人，Distrib.Comput。29，第6号，459--487（2016；Zbl 1410.68217）
全文： 内政部 哈尔
帕罗什·A·阿卜杜拉。；弗雷德里克·哈齐扎；卢卡·霍利克

视图抽象–教程（特邀论文）。 （英语） Zbl 1429.68137号

André，Etienne（编辑）等人，第二届复杂参数合成国际研讨会，SynCoP’15，2015年4月11日，英国伦敦。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。44, 1-15 (2015).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，OASIcs--OpenAccess Ser。通知。44、1-15（2015年；Zbl 1429.68137）
全文： 内政部
Kedar S.Namjoshi。；理查德·特雷弗（Richard J.Trefler）。

局部对称性和成分验证。 （英语） Zbl 1326.68103号

Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148348-362（2012）。
MSC公司：68号30 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.S.Namjoshi}和\textit{R.J.Trefler}，莱克特。票据计算。科学。7148348--362（2012年；Zbl 1326.68103）
全文： 内政部
帕罗什·阿齐兹·阿卜杜拉；乔治·德尔扎诺；艾哈迈德·雷兹

基于目录的一致性协议的自动验证。 （英语） 兹比尔1260.68224

Bournez，Olivier（编辑）等人，《可达性问题》。2009年9月23日至25日，法国帕莱索，RP 2009第三届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04419-9/pbk）。计算机科学课堂讲稿579736-50（2009）。
MSC公司：60年第68季度 68个M12 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，Lect。票据计算。科学。5797，36-50（2009年；兹比尔1260.68224）
全文： 内政部
帕罗什·阿齐兹·阿卜杜拉；乔治·德尔扎诺；艾哈迈德·雷兹

作用中的单调抽象。（分布式互斥算法的自动验证）。 （英语） 兹比尔1161.68612

Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。计算机科学课堂讲稿5160，50-65（2008）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，Lect。票据计算。科学。5160、50-65（2008年；Zbl 1161.68612）
全文： 内政部
埃德蒙·克拉克；穆拉利·塔卢普尔；赫尔穆特·维思

证明托勒密的正确性：用于模型检查并发系统的环境抽象框架。 （英语） Zbl 1134.68403号

Ramakrishnan，C.R.（编辑）等人，《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008，是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78799-0/pbk）。计算机科学课堂讲稿4963，33-47（2008）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.Clarke}等人，Lect。票据计算。科学。4963、33-47（2008年；Zbl 1134.68403）
全文： 内政部
帕罗什·阿齐兹·阿卜杜拉；努梅内·本·亨达；乔治·德尔扎诺；艾哈迈德·雷兹

处理具有非原子全局条件的参数化系统。 （英语） Zbl 1138.68436号

Logozzo，Francesco（编辑）等人，《验证、模型检查和抽象解释》。2008年1月7日至9日，第九届国际会议，VMCAI 2008，美国旧金山。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78162-2/pbk）。计算机科学课堂讲稿490522-36（2008）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，Lect。票据计算。科学。4905,22-36（2008年；Zbl 1138.68436）
全文： 内政部
方，易；肯尼思·麦克米兰。；阿米尔·普努利；Lenore D.扎克。

不可见不变量的生动性。 （英语） Zbl 1225.68114号

Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学课堂讲稿4229356-371（2006）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{Y.Fang}等人，Lect。票据计算。科学。4229356--371（2006；Zbl 1225.68114）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件