×

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

最新 引文 关联
弗雷德里克·朗;拉杜·马特埃斯库;弗朗科·马扎蒂

尖锐的同余足以与弱模态和强模态相结合的时序逻辑。 （英语） Zbl 1483.68233号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2020，2020年4月25日至30日，爱尔兰都柏林。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12079, 57-76 (2020).
MSC公司：第68季度85 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Lang}等人，Lect。注释计算。科学。12079，57-76（2020；Zbl 1483.68233）
全文： 内政部
马里奥·阿尔瓦雷斯·皮卡略;Jean-Simon Pacaud Lemay女士

笛卡尔差分类别。 （英语） Zbl 07250932号

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 57-76 (2020).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Alvarez-Picallo}和\textit{J.-S.P.Lemay}，莱克特。注释计算。科学。12077，57-76（2020；Zbl 07250932）
全文： 内政部
丹尼尔·格纳德;帕特里克·杜伯特;阿尔贝托·卢什·拉富恩特;霍夫曼，约格

SPIN中的星战解耦。 （英语） Zbl 1508.68331号

del Mar Gallardo，María（编辑）等人，《模型检查软件》。2018年6月20日至22日在西班牙马拉加举行的2018年SPIN第25届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10869103-114（2018）。
MSC公司：68T20型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Gnad}等人，Lect。注释计算。科学。10869、103-114（2018年；Zbl 1508.68331）
全文： 内政部 链接
雅各布·范德波尔;马克·蒂默

利用控制流重构对线性过程进行状态空间约简。 （英语） Zbl 1262.68133号

刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799，54-68（2009）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.van de Pol}和\textit{M.Timmer}，莱克特。注释计算。科学。5799、54-68（2009年；Zbl 1262.68133）
全文： 内政部 链接
王旭;玛尔塔·奎亚特科夫斯卡

使用未纠缠动作的合成状态空间缩减。 （英语） Zbl 1277.68213号

Amadio，Roberto（编辑）等人，第13届并发表达性国际研讨会论文集（EXPRESS 2006），德国波恩，2006年8月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》175，第3期，27-46（2007）。
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{X.Wang}和\textit{M.Kwiatkowska}，电子。注释Theor。计算。科学。175，编号3，27-46（2007年；兹bl 1277.68213）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件