×

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

最新 引文 关联
鲁宾·鲁比奥;马丁·奥列特，纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔

Maude中的策略、模型检查和分支时间属性。 （英语） 兹比尔1528.68233

J.日志。阿尔盖布。方法程序。 123，文章ID 100700，28 p.（2021）.
MSC公司：60年第68季度 03B44号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Rubio}等人，J.Log。阿尔盖布。方法计划。123，文章ID 100700，28 p.（2021；Zbl 1528.68233）
全文： 内政部 arXiv公司
霍尔格·吉斯;玛丽亚，马克西莫娃;卢卡斯·萨基兹洛格;施奈德，斯文

类型化属性图上的度量时态图逻辑。 （英语） Zbl 1524.68230号

Hähnle，Reiner（编辑）等人，《软件工程的基本方法》，第22届国际会议，FASE 2019，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2019，捷克共和国布拉格，2019年4月6日至11日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11424, 282-298 (2019).
MSC公司：68兰特 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{H.Giese}等人，Lect。注释计算。科学。11424、282--298（2019年；Zbl 1524.68230）
全文： 内政部
穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;库马尔·纳拉扬。;普拉卡什·塞瓦桑

验证过程程序的定量时间属性。 （英语） Zbl 1520.68026号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。118，第15条，第17页（2018年）。
MSC公司：68号30 03B44号 60年第68季度 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit｛M.F.Atig｝等人，LIPIcs——莱布尼茨国际期刊。通知。118，第15条，第17页（2018；Zbl 1520.68026）
全文： 内政部
玛丽·福廷;安卡·穆斯科尔;伊戈尔·瓦卢基维奇

参数化异步共享内存下推系统的模型检查线性时间属性。 （英语） Zbl 1495.68134号

Majumdar，Rupak（编辑）等人，《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。10427, 155-175 (2017).
MSC公司：60年第68季度 03B44号 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{M.Fortin}等人，Lect。注释计算。科学。10427155-175（2017年；兹bl 1495.68134）
全文： 内政部 哈尔
埃西克，Z。;Sz伊凡。

有限树上的扩展时序逻辑。 （英语） Zbl 1264.03051号

伊藤、马萨米（编辑）等，《自动机，形式语言和代数系统》。2008年AFLAS会议记录，日本京都，2008年9月20日至22日。新泽西州哈肯萨克：《世界科学》（ISBN 978-981-4317-60-3/hbk；978-981-4317-61-0/电子书）。47-62 (2010).
MSC公司：03B44号 03C07号机组 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.esik}和\textit{Sz.Iván}，in：自动机，形式语言和代数系统。2008年AFLAS会议记录，日本京都，2008年9月20-22日。新泽西州哈肯萨克：《世界科学》。47-62（2010年；Zbl 1264.03051）
全文： 内政部
菲利普·魏斯;尼尔·伊梅尔曼

词上FO（^{2}）的结构定理和严格交替层次。 （英语） Zbl 1168.03019号

日志。方法计算。科学。 5，第3期，论文4，23页（2009年）.
MSC公司：03C13号机组 03B44号 03C07号机组 05年3月 2017年第68季度 19年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Weis}和\textit{N.Immerman}，Log。方法计算。科学。5，第3号，论文4，23页（2009年；Zbl 1168.03019）
全文： 内政部 arXiv公司
魏斯，P。;伊梅尔曼，N。

词上FO（^{2}）的结构定理和严格交替层次。 （英语） Zbl 1168.03328号

Duparc，Jacques（编辑）等人，《计算机科学逻辑》。2007年9月11日至15日，第21届国际研讨会，2007年CSL，第16届EACSL年会，瑞士卢桑。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74914-1/pbk）。计算机科学课堂讲稿4646343-357（2007）。
MSC公司：03C13号机组 03B44号 03C07号机组 05年3月 2017年第68季度 19年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Weis}和\textit{N.Immerman}，莱克特。注释计算。科学。4646、343--357（2007年；Zbl 1168.03328）
全文： 内政部
沃尔克·迪克特;保罗·加斯丁

真实轨迹的安全性和活性属性，以及从LTL到幺半群的直接转换。 （英语） Zbl 1060.68077号

Brauer，Wilfried（编辑）等人，《形式和自然计算》。献给格列泽戈斯·罗森伯格的论文。柏林：施普林格出版社（ISBN 3-540-43190-X）。莱克特。注释计算。科学。2300, 26-38 (2002).
MSC公司：第68季度85 65年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit｛V.Diekert｝和\textit｛P.Gastin｝，Lect。注释计算。科学。2300、26-38（2002年；Zbl 1060.68077）
全文： 链接
弗朗西丝卡·列维

定时状态图的合成验证。 （英语） Zbl 0945.03042号

霍华德·巴林格等人，《时序逻辑的进展》。1997年，英国曼彻斯特国际刑事法庭第二届国际时序逻辑会议论文集。多德雷赫特：Kluwer学术出版社。申请。日志。序列号。第16页，第47-70页（2000年）。
MSC公司：03B70号 60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{F.Levi}，应用。日志。序列号。16、47-70（2000；Zbl 0945.03042）
大卫·哈雷;伊莱·辛格曼

计算路径逻辑：一种表达性的但基本的过程逻辑。 （英语） Zbl 0931.03044号

Ann.纯粹应用。逻辑 96，第1-3号，167-186（1999）.
审核人：瓦伦丁·F·戈兰科（约翰内斯堡）
MSC公司：03B70号 60年第68季度 第68季度85 03B25号 2015年3月1日 03B44号
PDF格式BibTeX公司 XML格式引用
\textit｛D.Harel｝和\textit｛E.Singerman｝，Ann.纯应用。逻辑96，No.1--3，167--186（1999；Zbl 0931.03044）
全文： 内政部
托马斯·威尔克

对离散时间属性进行分类。 （英语） Zbl 0926.03018号

Meinel，Christoph（编辑）等人，STACS 99。1999年3月4日至6日在德国特里尔举行的第16届计算机科学理论方面年度研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1563, 32-46 (1999).
MSC公司：03B44号 05年3月 20立方米 03B10号机组
PDF格式BibTeX公司 XML格式引用
\textit{T.Wilke}，莱克特。注释计算。科学。1563，32-46（1999；Zbl 0926.03018）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件