×

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

最新的 引文 关联
Dokter，Kasper公司；法哈德·阿尔巴

协议调度。 （英语） Zbl 1496.68097号

Hojjat，Hossein（编辑）等人，《软件工程基础》，第九届国际会议，FSEN 2021，虚拟活动，2021年5月19日至21日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12818, 3-17 (2021).
MSC公司：68甲19 68平方米 65年第68季度 68问题85 91A80型
PDF格式BibTeX公司 XML格式引用
\textit｛K.Dokter｝和\textit｛F.Arbab｝，Lect。注释计算。科学。12818，3-17（2021；Zbl 1496.68097）
全文： 内政部 链接
van Putten，Berend Jan Christiaan；范德桑登，布拉姆；米歇尔·雷尼尔斯；杰罗·沃顿；拉蒙·希夫勒

部分可控制制造系统的监督合成和吞吐量优化。 （英语） Zbl 1478.93190号

离散事件动态。系统。 31，编号1，103-135（2021）.
MSC公司：93亿B50 93个B05 49N90型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{B.J.C.van Putten}等人，离散事件动力学。系统。31，编号1，103--135（2021；Zbl 1478.93190）
全文： 内政部
伊莎贝拉·考夫曼；金·古德斯特兰·拉森；吉·斯尔巴

具有分支时间获胜条件的多权重博弈的综合。 （英语） Zbl 1503.68182号

Janicki，Ryszard（编辑）等人，Petri网和并发的应用和理论。第41届国际会议，PETRI NETS 2020，法国巴黎，2020年6月24日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12152, 46-66 (2020).
MSC公司：60年第68季度 65年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{I.考夫曼}等人，Lect。注释计算。科学。12152，46-66（2020；Zbl 1503.68182）
全文： 内政部
丹尼尔·奈德；帕特里克·托茨克；马丁·齐默尔曼

下推安全游戏中的最佳弹性策略。 （英语） 兹伯利07559445

Esparza，Javier（ed.）等人，第45届计算机科学数学基础国际研讨会，MFCS 2020，2020年8月25日至26日，捷克共和国布拉格。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。170，第74条，第15页（2020年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{D.Neider}等人，LIPIcs——莱布尼茨国际程序。通知。170，第74条，第15页（2020；Zbl 07559445）
全文： 内政部 arXiv公司
丹尼尔·奈德；亚历山大·韦内特；马丁·齐默尔曼

综合最佳弹性控制器。 （英语） Zbl 1528.68085号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第34条，第17页（2018年）。
MSC公司：68号30 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{D.Neider}等人，LIPIcs——莱布尼茨国际程序。通知。119，第34条，第17页（2018；Zbl 1528.68085）
全文： 内政部
亚历山大·韦内特

数量减少和顶点排名无限游戏。 （英语） Zbl 1524.91021号

Orlandini，Andrea（编辑）等人，第九届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2018，德国萨尔布吕肯，2018年9月26日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）2771-15（2018）。
MSC公司：91A70型 91A68型 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Weinert}，电子。程序。西奥。计算。科学。（EPTCS）277，1--15（2018；Zbl 1524.91021）
全文： arXiv公司 链接
罗德里克·布洛姆；克里希南德·查特吉；芭芭拉·乔布斯曼

图形游戏和反应合成。 （英语） Zbl 1392.68233号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。921-962 (2018).
MSC公司：60年第68季度 65年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，in：模型检查手册。查姆：斯普林格。921-962（2018；Zbl 1392.68233）
全文： 内政部
克里希南德·查特吉；莫妮卡·亨津格；亚历山大·斯沃齐尔

用于平均对偶游戏的更快算法。 （英语） Zbl 1441.91015号

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第39条，第14页（2017年）。
MSC公司：91A43型 65年第68季度 68瓦40 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。83，第39条，第14页（2017年；Zbl 1441.91015）
全文： 内政部 arXiv公司
罗德里克·布洛姆；哈娜·乔克勒；马苏德·易卜拉希米；斯特里赫曼（Ofer Strichman）

合成非真空系统。 （英语） Zbl 1484.68096号

Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 55-72 (2017).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，Lect。注释计算。科学。10145，55-72（2017；Zbl 1484.68096）
全文： 内政部 链接
奥尔纳·库普弗曼

关于高质量合成。 （英语） Zbl 1476.68150号

库利科夫，亚历山大·S（编辑）等人，《计算机科学——理论与应用》。2016年6月9日至13日，在俄罗斯圣彼得堡举行的第11届国际计算机科学研讨会，CSR 2016。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9691, 1-15 (2016).
MSC公司：60年第68季度 68-02
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}，莱克特。注释计算。科学。9691，1-15（2016；Zbl 1476.68150）
全文： 内政部 链接
维塔利·佩雷沃什奇科夫

权重分配逻辑。 （英语） Zbl 1434.03087号

Potapov，Igor（编辑），语言理论的发展。2015年7月27日至30日在英国利物浦举行的2015年DLT第19届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9168, 413-425 (2015).
MSC公司：03B70号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Perevoshchikov}，莱克特。注释计算。科学。9168、413--425（2015年；Zbl 1434.03087）
全文： 内政部 arXiv公司
罗德里克·布洛姆；克里希南德·查特吉；卡琳·格雷梅尔；托马斯·亨辛格（Thomas A.Henzinger）。；格奥尔格·霍弗雷克；芭芭拉·乔布斯曼；贝蒂娜·科尼霍费尔；罗伯特·Könighfer

合成鲁棒系统。 （英语） Zbl 1302.93079号

学报信息。 51，编号3-4193-220（2014）.
MSC公司：93B35型 93亿B50 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，Acta Inf.51，No.3--4，193-220（2014；Zbl 1302.93079）
全文： 内政部
克里斯蒂安·冯·埃森；芭芭拉·乔布斯曼

合成高效控制器。 （英语） Zbl 1326.68190号

Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148428-444（2012）。
MSC公司：60年第68季度 65年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.von Essen}和\textit{B.Jobstmann}，莱克特。注释计算。科学。7148428-444（2012年；Zbl 1326.68190）
全文： 内政部
克里希南德·查特吉；托马斯·亨辛格（Thomas A.Henzinger）。；芭芭拉·乔布斯曼；罗希特·辛格

QUASY：定量合成工具。 （英语） Zbl 1316.68071号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605267-271（2011）。
MSC公司：60年第68季度 90立方厘米 91-04 91A05型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。6605267--271（2011；Zbl 1316.68071）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件