×

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

最新 引文 关联
亚历山德罗·西马蒂;卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;斯特凡诺·托内塔

安全和协同安全语言的一阶逻辑特征。 （英语） Zbl 07731941号

日志。方法计算。科学。 19，第3号，第13号论文，29页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，《日志》。方法计算。科学。19，第3号，第13号论文，29页（2023；Zbl 07731941）
全文： 内政部 arXiv公司
塞尔吉奥·莫弗;亚历山德罗·西马蒂;阿尔贝托·格里乔;艾哈迈德·埃尔凡;斯特凡诺·托内塔

多项式动力系统的隐式半代数抽象。 （英语） Zbl 1493.68217号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 529-551 (2021).
MSC公司：60年第68季度 03B70号 34A34飞机
PDF格式BibTeX公司 XML格式引用
\textit{S.Mover}等人，Lect。注释计算。科学。12759529--551（2021；Zbl 1493.68217）
全文： 内政部
亚历山德罗·西马蒂;卢卡·盖蒂;阿尔贝托·格里乔;格雷格·金伯利;斯特凡诺·托内塔

启动要求的安全分解：验证和合成。 （英语） Zbl 1507.68180号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2020，2020年4月25日至30日，爱尔兰都柏林。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 155-172 (2020).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛A.Cimatti｝等人，Lect。注释计算。科学。12078、155--172（2020年；Zbl 1507.68180）
全文： 内政部
斯特凡诺·托内塔

具有事件冻结功能的线性时间时序逻辑。 （英语） Zbl 1483.68207号

Patricia Bouyer等人，《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2017，意大利罗马，2017年9月20日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）256195-209（2017）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{S.Tonetta}，电子。程序。西奥。计算。科学。（EPTCS）256195--209（2017年；兹bl 1483.68207）
全文： arXiv公司 链接
亚历山德罗·西马蒂;塞尔吉奥·莫弗;马可·罗维里;斯特凡诺·托内塔

从顺序扩展正则表达式到带有符号标签的NFA。 （英语） Zbl 1297.68116号

Domaratzki，Michael（编辑）等人，《自动机的实现和应用》。2010年8月12日至15日，加拿大温尼伯CIAA 2010第15届国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-18097-2/pbk）。计算机科学讲义6482，87-94（2011）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛A.Cimatti｝等人，Lect。注释计算。科学。6482，87-94（2011；Zbl 1297.68116）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件