×

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

最新的 引文 关联
亚历山大·杜雷特·卢茨；艾蒂安·雷诺；马克西米利安·科朗格；弗洛里安·伦金；亚历山大·巴吉迪·艾塞；菲利普·施勒胡贝尔（Philipp Schlehuber-Caissier）；托马斯·梅迪奥尼；安托万·马丁；杰罗姆·杜波伊斯；Clément吉拉德；亨利克·劳科

从Spot 2.0到Spot 2.10：有什么新功能？ （英语） Zbl 1514.68128号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。13372, 174-187 (2022).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Duret-Lutz}等人，Lect。票据计算。科学。13372174-187（2022年；Zbl 1514.68128）
全文： 内政部 arXiv公司
卢卡·埃特罗；安东尼斯·阿奇利奥斯；埃利·阿纳斯塔西亚迪；阿德里安·弗兰卡兰扎

用电路监测超属性。 （英语） Zbl 1499.68199号

Mousavi，Mohammad Reza（编辑）等人，分布式对象、组件和系统的形式化技术。第42届IFIP WG 6.1国际会议，FORTE 2022，作为第17届分布式计算技术国际联合会议的一部分，于2022年6月13日至17日在意大利卢卡举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13273, 1-10 (2022).
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，Lect。票据计算。科学。13273，1-10（2022；Zbl 1499.68199）
全文： 内政部 arXiv公司
克劳斯·哈维隆德；莫兰·奥马尔；多龙·贝利德

监测一阶间隔逻辑。 （英语） Zbl 1522.68321号

Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13085，66-83（2021）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{K.Havelund}等人，Lect。票据计算。科学。13085，66-83（2021；Zbl 1522.68321）
全文： 内政部
鲍迈斯特，简；科宁，诺琳；博尔祖·博纳克达尔普尔；伯恩德·芬克贝纳；塞萨尔·桑切斯

异步超属性的时态逻辑。 （英语） Zbl 1493.68205号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12759, 694-717 (2021).
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Baumeister}等人，Lect。票据计算。科学。12759、694--717（2021年；Zbl 1493.68205）
全文： 内政部 arXiv公司
艾丽卡·阿尔布拉汉姆；博尔祖·博纳克达尔普尔

HyperPCTL：概率超属性的时序逻辑。 （英语） Zbl 1514.68030号

McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11024, 20-35 (2018).
MSC公司：68号30 03B44号 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.ábrahám}和\textit{B.Bonakdarpour}，莱克特。票据计算。科学。11024，20--35（2018；Zbl 1514.68030）
全文： 内政部 arXiv公司
辛迪·艾斯纳；达纳·菲斯曼

通过时序逻辑对硬件进行功能规范。 （英语） Zbl 1392.68247号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。795-829 (2018).
MSC公司：60年第68季度 03B44号 2007年7月68日
PDF格式BibTeX公司 XML格式引用
\textit{C.Eisner}和\textit{D.Fisman}，in：模型检查手册。查姆：斯普林格。795--829（2018；Zbl 1392.68247）
全文： 内政部
尼尔·皮特曼；阿米尔·普努利

时序逻辑和公平离散系统。 （英语） Zbl 1392.68263号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。27-73 (2018).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit｛N.Piterman｝和\textit｛A.Pnueli｝，在：模型检查手册中。查姆：斯普林格。27-73（2018；Zbl 1392.68263）
全文： 内政部
Chebotarev，A.N。

一元一阶逻辑（MFO）的一些子集用于（Sigma）-自动机的规范和合成。 （英语。俄文原件） 兹比尔1400.68100

赛博。系统。分析。 53，第4期，512-523（2017）; 翻译自Kibern。修女。分析。2017年，第4期，22-36（2017）。
MSC公司：65年第68季度 05年3月 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.N.Chebotarev}，Cybern（网络）。系统。分析。53，第4号，512--523（2017；Zbl 1400.68100）；翻译自Kibern。修女。分析。2017年，第4期，第22-36期（2017年）
全文： 内政部
Chebotarev，A.N。

一阶逻辑语言LP和LF中指定的（Sigma）-自动机的合成问题。 （英语。俄文原件） Zbl 1380.68271号

赛博。系统。分析。 53，第5号，675-683（2017）; 翻译自Kibern。修女。分析。2017年，第5期，22-33（2017）。
MSC公司：60年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{A.N.Chebotarev}，Cybern（网络）。系统。分析。53，第5号，675--683（2017；Zbl 1380.68271）；翻译自Kibern。修女。分析。2017年第5号、第22-33号（2017）
全文： 内政部
卡米洛·罗查

Dijkstra和Scholten的正式体系。 （英语） Zbl 1322.03025号

Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲座笔记9200，580-597（2015）。
MSC公司：03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{C.Rocha}，莱克特。票据计算。科学。9200、580--597（2015；Zbl 1322.03025）
全文： 内政部
阿曼，博格丹；加布里埃尔·乔巴努

表面有物体的相互移动膜的时间逻辑。 （英语） 兹比尔1330.68063

Kelemen，Jozef（编辑）等人，《计算、合作与生活》。在盖奥盖·普恩60岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-1999-8/pbk）。计算机科学讲座笔记6610，138-150（2011）。
MSC公司：2005年第68季度 03B44号 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Aman}和\textit{G.Ciobanu}，莱克特。票据计算。科学。6610，138-150（2011；Zbl 1330.68063）
全文： 内政部
迪帕克·加格；杰森·富兰克林；迪尔森·卡纳尔；阿努帕姆·达塔

具有接口受限对手的组合系统安全。 （英语） Zbl 1342.68083号

Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265，49-71（2010）。
MSC公司：68号30 03B70号 68甲19 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{D.Garg}等人，《电子》。注释Theor。计算。科学。265、49--71（2010年；Zbl 1342.68083）
全文： 内政部
彼得·霍夫纳

半环邻域：邻域逻辑的代数嵌入和扩展。 （英语） Zbl 1277.03028号

Romijn，Judi（编辑）等人，第五届综合正式方法会议（IFM 2005）附属博士研讨会论文集，荷兰埃因霍温，2005年11月29日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记191，49-72（2007）。
MSC公司：03B70号 03B44号 07年6月 2016年60月 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Höfner}，电子。注释Theor。计算。科学。191、49-72（2007年；Zbl 1277.03028）
全文： 内政部
卡洛斯·杜阿尔特（Carlos H.C.Duarte）。；汤姆·迈鲍姆

用于开放分布式系统开发的分支时间逻辑系统。 （英语） Zbl 1261.03082号

de Queiroz，Ruy（编辑）等人，WoLLIC’2002。2002年7月30日至8月2日，巴西里约热内卢，里约热内卢大学，第九届逻辑、语言、信息和计算研讨会论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记67，184-203（2002）。
MSC公司：03B44号 64岁以下 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.H.C.Duarte}和\textit{T.Maibaum}，电子。注释Theor。计算。科学。67、184--203（2002年；Zbl 1261.03082）
全文： 内政部
Ernst-Erich Doberkat；尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。

关系演算背景下ER模型的代数语义。二： 动态视图。 （英语） Zbl 1027.03028号

Harrie C.M.de Swart（编辑），《计算机科学中的关系方法》。2001年10月16日至21日，第六届国际会议，RelMiCS 2001和成本行动274 TARSKI第一次研讨会，荷兰Oisterwijk。修订论文。柏林：斯普林格。莱克特。票据计算。科学。2561, 50-65 (2002).
MSC公司：03B70号 03G15年 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{E.-E.Doberkat}和\textit{E.G.Omodeo}，莱克托。票据计算。科学。2561、50-65（2002年；Zbl 1027.03028）
全文： 链接
本特·琼森；Tsay，Yih-Kuen先生

线性时间时序逻辑中的假设/保证规范（扩展抽象）。 （英语） Zbl 1496.68192号

Mosses，Peter D.（编辑）等人，《TAPSOFT’95：软件开发的理论与实践》。1995年5月在丹麦奥胡斯举行的第六届CAAP/FASE国际联席会议。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。915, 262-276 (1995).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{B.Jonsson}和\textit{Y.-K.Tsay}，莱克特。票据计算。科学。915262--276（1995年；Zbl 1496.68192）
全文： 内政部
大卫·格里斯

作为工具的等式逻辑。 （英语） Zbl 1496.68108号

Alagar，V.S.（编辑）等人，《代数方法论和软件技术》。1995年7月3日至7日在加拿大蒙特利尔举行的1995年AMAST第四届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。936, 1-17 (1995).
MSC公司：68号30 03B70号 97页99
PDF格式BibTeX公司 XML格式引用
\textit{D.Gries}，莱克特。票据计算。科学。936，1-17（1995年；Zbl 1496.68108）
全文： 内政部
菲克斯，利莫；弗雷德·施耐德。

通过开发环境来推理程序。 （英语） Zbl 1418.68054号

Abiteboul，Serge（编辑）等人，《自动化，语言和编程》。第21届国际学术讨论会，ICALP’94，以色列耶路撒冷，1994年7月11日至14日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。820, 328-339 (1994).
MSC公司：68号30 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛L.Fix｝和\textit｛F.B.Schneider｝，Lect。票据计算。科学。820328-339（1994年；Zbl 1418.68054）
全文： 内政部 链接
尼尔斯·克拉伦德

Liminf进度措施。 （英语） Zbl 1518.68054号

Brookes，Stephen（编辑）等人，《编程语义的数学基础》。第七届国际会议，1991年3月25日至28日，美国宾夕法尼亚州匹兹堡。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。598, 477-491 (1992).
MSC公司：68号30 2015年3月 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Klarlund}，莱克特。票据计算。科学。598477-491（1992年；Zbl 1518.68054）
全文： 内政部
爱德华·张；佐哈尔·曼纳；阿米尔·普努利

时间属性类的特征。 （英语） Zbl 1425.68252号

Kuich，Werner（编辑），《自动化，语言和编程》。第19届国际学术讨论会，1992年7月13日至17日，奥地利维也纳。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。623, 474-486 (1992).
MSC公司：60年第68季度 03B44号 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.Chang}等人，Lect。票据计算。科学。623474-486（1992年；Zbl 1425.68252）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件