×

找到20个文档（结果1–20）

最新 引文 关联
莫舍·瓦尔迪。;塞斯·福格蒂;李勇;蔡义权

走向Büchi互补结构的大统一。 （英语） 兹比尔1528.68202

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 185-207 (2022).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}等人，Lect。注释计算。科学。13660，185-207（2022；Zbl 1528.68202）
全文： 内政部
李勇;蔡义权;安德烈亚·图里尼;莫舍·瓦尔迪。;张丽君

Büchi自动机的同余关系。 （英语） Zbl 1521.68074号

Huisman，Marieke（编辑）等人，《形式方法》。第24届国际研讨会，FM 2021，虚拟活动，2021年11月20日至26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13047, 465-482 (2021).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Li}等人，Lect。注释计算。科学。13047465--482（2021；Zbl 1521.68074）
全文： 内政部 arXiv公司
加尔阿姆拉姆;苏古曼·班萨尔;油炸，Dror;卢卡斯·马蒂内利·塔巴哈拉;莫舍·瓦尔迪。;杰拉·韦斯

通过反应合成调整行为。 （英语） 兹比尔1493.68201

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 870-893 (2021).
MSC公司：60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{G.Amram}等人，Lect。注释计算。科学。12759870--893（2021年；Zbl 1493.68201）
全文： 内政部 arXiv公司
卢卡斯·塔巴哈拉。;莫舍·瓦尔迪。

部分可观测性下的LTLf综合：从理论到实践。 （英语） Zbl 07455737号

Raskin，Jean-Francois（ed.）等人，第11届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2020，比利时布鲁塞尔，2020年9月21-22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）3261-17（2020年）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{L.M.Tabajara}和\textit{M.Y.Vardi}，电子。程序。西奥。计算。科学。（EPTCS）326，1--17（2020；Zbl 07455737）
全文： arXiv公司 链接
伊利昂州普拉库;利迪亚·卡夫拉基。;莫舍·瓦尔迪。

混合系统中LTL安全特性的伪造。 （英语） Zbl 1234.68264号

Kowalewski，Stefan（编辑）等人，《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00767-5/pbk）。计算机科学讲座笔记5505368-382（2009）。
MSC公司：60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{E.Plaku}等人，Lect。注释计算。科学。5505368-382（2009年；Zbl 1234.68264）
全文： 内政部
苏米特·奈恩;莫舍·瓦尔迪。

分支与线性时间：语义视角。 （英语） Zbl 1141.68481号

Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762，19-34（2007）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Nain}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。4762、19-34（2007年；Zbl 1141.68481）
全文： 内政部 链接
莫舍·瓦尔迪。

重温自动化理论模型检查。 （英语） Zbl 1132.68483号

Cook，Byron（编辑）等人，《验证、模型检查和抽象解释》。2007年1月14日至16日在法国尼斯举行的2007年VMCAI第八届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69735-0/pbk）。计算机科学课堂讲稿4349137-150（2007）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}，莱克特。注释计算。科学。4349137-150（2007年；Zbl 1132.68483）
全文： 内政部
莫舍·瓦尔迪。

交替自动机：统一时间逻辑的真值和有效性检查。 （英语） Zbl 1430.68156号

William McCune（编辑），《自动扣除——CADE-14》。第十四届自动扣款国际会议，澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1249, 191-206 (1997).
MSC公司：60年第68季度 03B44号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}，莱克特。注释计算。科学。1249、191--206（1997年；Zbl 1430.68156）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件