×

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

最新的 引文 关联
哈维尔·埃斯帕尔扎；简·Křetínsk；让-弗朗索瓦·拉斯金；所罗门·西克特

从LTL和极限确定性Büchi自动机到确定性奇偶自动机。 （英语） Zbl 1452.68105号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日，第23届国际会议，TACAS 2017，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2017，瑞典乌普萨拉。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205, 426-442 (2017).
MSC公司：65年第68季度 03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\文本{J.Esparza}等人，Lect。注释计算。科学。10205426--442（2017；Zbl 1452.68105）
全文： 内政部 arXiv公司
亚伦·波希；布鲁耶尔，Véronique；艾曼纽·菲利奥特；让-弗朗索瓦·拉斯金

基于LTL规范与平均值目标的综合。 （英语） 兹比尔1381.68149

Piterman，Nir（编辑）等人，《系统构建和分析的工具和算法》。2013年3月16日至24日，第19届国际会议（TACAS 2013）在意大利罗马举行，作为欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36741-0/pbk）。计算机科学课堂讲稿7795169-184（2013）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{A.Bohy}等人，Lect。注释计算。科学。7795，169--184（2013；Zbl 1381.68149）
全文： 内政部 arXiv公司
劳伦特·多恩；吉勒·杰勒茨；Jean-Francois拉斯金；朱利安·莱切特

实时逻辑的可实现性。 （英语） 兹比尔1262.68117

Ouaknine，Joöl（编辑）等，时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04367-3/pbk）。计算机科学课堂讲稿5813，133-148（2009）。
MSC公司：60年第68季度 03B44号 05年3月 65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Doyen}等人，Lect。注释计算。科学。5813、133--148（2009年；Zbl 1262.68117）
全文： 内政部
艾曼纽·菲利奥特；金乃勇；让-弗朗索瓦·拉斯金

LTL可实现性的反链算法。 （英语） Zbl 1242.68158号

Bouajjani，Ahmed（编辑）等人，《计算机辅助验证》。2009年6月26日至7月2日在法国格勒诺布尔举行的第21届CAV 2009国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02657-7/pbk）。计算机科学讲座笔记5643，263-277（2009）。
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛E.Filiot｝等人，Lect。注释计算。科学。5643、263--277（2009年；Zbl 1242.68158）
全文： 内政部
De Wulf，M。；Doyen，L。；新泽西州梅奎特。；J.-F.拉斯金。

反链：LTL可满足性和模型检查的替代算法。 （英语） Zbl 1134.68404号

Ramakrishnan，C.R.（编辑）等人，《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008，是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78799-0/pbk）。计算机科学课堂讲稿4963，63-77（2008）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.De Wulf}等人，Lect。注释计算。科学。4963、63--77（2008年；Zbl 1134.68404）
全文： 内政部
布鲁耶尔，Véronique；让-弗朗索瓦·拉斯金

实时模型检查：到处都是参数。 （英语） Zbl 1205.68219号

Pandya，Paritosh K.（编辑）等人，FST TCS 2003：软件技术和理论计算机科学基础。第23届会议，印度孟买，2003年12月15日至17日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20680-9/pbk）。莱克特。注释计算。科学。2914, 100-111 (2003).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Bruyère}和\textit{J.-F.Raskin}，莱克特。注释计算。科学。2914、100-111（2003年；Zbl 1205.68219）
全文： 内政部
布鲁耶尔，Véronique；伊曼纽尔·达勒奥利奥；让-弗朗索瓦·拉斯金

持续时间，使用Presburger算法在时间自动机中进行参数模型检查。 （英语） 兹比尔1035.68063

Alt，Helmut（编辑）等人，STACS 2003。2003年2月27日至3月1日，德国柏林，第20届计算机科学理论方面年度研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-00623-0/pbk）。莱克特。注释计算。科学。2607, 687-698 (2003).
MSC公司：60年第68季度 03B25号 03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{V.Bruyère}等人，Lect。注释计算。科学。2607687-698（2003年；Zbl 1035.68063）
全文： 链接
J.-F.拉斯金。；肖本斯，P.-Y。；亨廷格，T.A。

实时逻辑的公理。 （英语） Zbl 0928.03022号

Sangiorgi，Davide（编辑）等人，CONCUR’98。并发理论。第九届国际会议，法国尼斯，1998年9月8日至11日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1466, 219-236 (1998).
MSC公司：03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Raskin}等人，Lect。注释计算。科学。1466、219--236（1998年；Zbl 0928.03022）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件