×

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

最新 引文 相关性
Tsay，Yih-Kuen先生;莫舍·瓦尔迪。

从线性时序逻辑到Büchi自动机：早期和简单的原理。 （英语） Zbl 1522.68287号

Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13030, 8-40 (2022).
MSC公司：65年第68季度 03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{Y.-K.Tsay}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。13030，8--40（2022；Zbl 1522.68287）
全文： 内政部
卢卡斯·塔巴哈拉。;莫舍·瓦尔迪。

线性时序逻辑——从无限到有限。 （英语） Zbl 1497.03035号

Hou，Zhe（编辑）等，验证和分析自动化技术。第19届国际研讨会，2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12971, 3-12 (2021).
MSC公司：03B44号 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.M.Tabajara}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。12971，3-12（2021；Zbl 1497.03035）
全文： 内政部
加尔阿姆拉姆;苏古曼·班萨尔;油炸，Dror;卢卡斯·马蒂内利·塔巴哈拉;莫舍·瓦尔迪。;杰拉·韦斯

通过反应合成调整行为。 （英语） Zbl 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公司
班萨尔，苏古曼;克里希南德·查特吉;莫舍·瓦尔迪。

关于量化游戏中的满意度。 （英语） Zbl 1467.68161号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 20-37 (2021).
MSC公司：68T20型 65年第68季度 90立方厘米 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{S.Bansal}等人，Lect。注释计算。科学。12651，20--37（2021；Zbl 1467.68161）
全文： 内政部 arXiv公司
安德鲁·威尔斯（Andrew M.Wells）。;莫特萨·拉希贾尼安;利迪亚·卡夫拉基。;莫舍·瓦尔迪。

\（\mathrm）{LTL}_f\)概率系统综合。 （英语） Zbl 07455747号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）326166-181（2020）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{A.M.Wells}等人，《电子》。程序。西奥。计算。科学。（EPTCS）326166--181（2020；Zbl 07455747）
全文： arXiv公司 链接
贾斯敏·费希尔;托马斯·亨辛格（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）
全文： 内政部
蔡明勋;塞斯·福格蒂;莫舍·瓦尔迪。;Tsay，Yih-Kuen先生

比奇互补状态。 （英语） Zbl 1297.68168号

Domaratzki，Michael（编辑）等人，自动机的实现和应用。2010年8月12日至15日，加拿大温尼伯CIAA 2010第15届国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-18097-2/pbk）。计算机科学课堂讲稿6482261-271（2011）。
MSC公司：65年第68季度 68-02
PDF格式BibTeX公司 XML格式引用
\textit｛M.-H.Tsai｝等人，Lect。注释计算。科学。6482、261--271（2011；Zbl 1297.68168）
全文： 内政部 arXiv公司
卢斯蒂格，尤德;莫舍·瓦尔迪。

从组件库合成。 （英语） Zbl 1234.68260号

de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504395-409（2009）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Lustig}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。5504395--409（2009年；Zbl 1234.68260）
全文： 内政部
苏米特·奈恩;莫舍·瓦尔迪。

分支与线性时间：语义视角。 （英语） 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）
全文： 内政部 链接
恩里科Giunchilia;马西莫·纳里扎诺;阿曼多·塔切拉;莫舍·瓦尔迪。

建立一个高效的SAT图书馆：宣言。 （英语） Zbl 0990.90559号

Kautz，Henry（编辑）等，2001年LICS满意度测试理论与应用研讨会（SAT 2001）。2001年6月14日至15日，美国马萨诸塞州波士顿。阿姆斯特丹：Elsevier，Electron。注释离散数学。9，无页码。，仅电子版（2001）。
MSC公司：90立方厘米27 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{E.Giunchiglia}等人，《电子》。注释离散数学。9，无页码。（2001年；Zbl 0990.90559）
大卫·哈雷;奥尔纳·库普弗曼;莫舍·瓦尔迪。

关于验证并发转换系统的复杂性。 （英语） Zbl 1512.68155号

Mazurkiewicz，Antoni（编辑）等人，CONCUR’97：并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1243, 258-272 (1997).
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Harel}等人，Lect。注释计算。科学。1243、258--272（1997；Zbl 1512.68155）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件