×

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

最新的 引文 关联
海因里希·奥迪；Fränzle，马丁；迈克尔·汉森。

折扣持续时间演算。 （英语） Zbl 1427.68172号

Fitzgerald，John（ed.）等人，FM 2016：正式方法。第21届国际研讨会，2016年11月9日至11日，塞浦路斯利马索尔。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。99955577-592（2016年）。
MSC公司：第68季度第60季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{H.Ody}等人，Lect。票据计算。科学。9995577-592（2016年；Zbl 1427.68172）
全文： 内政部
Mahieddine Dellabani；雅克·康巴兹；马里乌斯·博兹加；萨德克·本萨勒姆

有限范围内多方互动的局部规划。 （英语） Zbl 1427.68024号

Fitzgerald，John（ed.）等人，FM 2016：正式方法。第21届国际研讨会，2016年11月9日至11日，塞浦路斯利马索尔。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9995, 199-216 (2016).
MSC公司：64岁以下 68平方米 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Dellabani}等人，Lect。票据计算。科学。9995，199--216（2016；Zbl 1427.68024）
全文： 内政部
弗雷德里克·赫布雷托；Srivathsan，B。；Tran，Thanh-Tung镇；伊戈尔·瓦卢基维奇

为什么时间自动机的活性很难，以及我们能做些什么。 （英语） Zbl 1391.68071号

Lal，Akash（ed.）等人，第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016），印度钦奈，2016年12月13-15日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-95977-027-9）。LIPIcs–莱布尼茨国际信息学论文集65，第48条，第14页。(2016).
MSC公司：65年第68季度 65年第68季度 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Herbreteau}等人，LIPIcs——莱布尼茨国际程序。通知。65，第48条，14~p.（2016；Zbl 1391.68071）
全文： 内政部
什巴希斯·古哈；马尔金·尤尔金斯基；桑卡拉·纳拉亚南·克里希纳；阿舒托什·特里维迪

时间自动机上的均值支付博弈。 （英语） Zbl 1391.68070号

Lal，Akash（ed.）等人，第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016），印度钦奈，2016年12月13-15日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-95977-027-9）。LIPIcs–莱布尼茨国际信息学论文集65，第44条，第14页。(2016).
MSC公司：65年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit｛S.Guha｝等人，LIPIcs——莱布尼茨国际期刊。通知。65，第44条，14~p.（2016；Zbl 1391.68070）
全文： 内政部 arXiv公司
阿克沙伊，S。；保罗·加斯丁；桑卡拉·纳拉亚南·克里希纳

使用树自动机分析定时系统。 （英语） Zbl 1392.68212号

Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–莱布尼茨国际信息学学报59，第27条，第14页（2016年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Akshay}等人，LIPIcs——莱布尼茨国际程序。通知。59，第27条，第14页（2016；Zbl 1392.68212）
全文： 内政部
托马斯·布伦戈斯；马可·佩雷索蒂

时间自动机的统一框架。 （英语） 兹比尔1392.68214

Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学会议59，Article 26，15 p.（2016）。
MSC公司：65年第68季度 18B20型
PDF格式BibTeX公司 XML格式引用
\textit{T.Brengos}和\textit{M.Peressotti}，LIPIcs——莱布尼茨国际程序。通知。59，第26条，第15页（2016；Zbl 1392.68214）
全文： 内政部
阿克沙伊，S。；帕特里夏·鲍耶；桑卡拉·纳拉亚南·克里希纳；拉克希米·马纳萨；阿舒托什·特里维迪

重温随机计时游戏。 （英语） Zbl 1398.91054号

Faliszewski，Piotr（编辑）等人，第41届计算机科学数学基础国际研讨会，2016年MFCS，波兰克拉科夫，2016年8月22日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-016-3）。LIPIcs–莱布尼茨国际信息学学报58，第8条，第14页（2016年）。
MSC公司：91A15型 65年第68季度 91A55型
PDF格式BibTeX公司 XML格式引用
\textit｛S.Akshay｝等人，LIPIcs——莱布尼茨国际期刊。通知。58，第8条，第14页（2016；Zbl 1398.91054）
全文： 内政部 arXiv公司
雷蒙德·魔鬼队；汉娜·克劳代尔

计算时间自动机网络中旅行或循环持续时间的抽象策略。 （英语） Zbl 1433.68248号

Fränzle，Martin（编辑）等人，《时间系统的形式化建模和分析》。2016年8月24日至26日，加拿大魁北克省魁北克FORMATS 2016第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9884, 140-156 (2016).
MSC公司：68问题85 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Devillers}和\textit{H.Klaudel}，莱克特。票据计算。科学。9884、140-156（2016年；Zbl 1433.68248）
全文： 内政部 哈尔
埃蒂安·安德烈；莱姆，迪迪埃；奥利维尔·H·鲁克斯。

关于参数时间自动机的表示性。 （英语） Zbl 1433.68227号

Fränzle，Martin（编辑）等人，《时间系统的形式化建模和分析》。2016年8月24日至26日，加拿大魁北克省魁北克FORMATS 2016第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9884，19-34（2016年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}等人，莱克特。票据计算。科学。9884，19-34（2016；Zbl 1433.68227）
全文： 内政部 哈尔
西里尔·阿尔托（编辑）；彼得·塞巴·奥维茨基（编辑）

安全关键系统的正式技术。2015年11月6日至7日在法国巴黎举行的FTSCS第四届国际研讨会。修订了选定的论文。 （英语） Zbl 1393.68009号

计算机与信息科学中的通信596.查姆：施普林格（ISBN 978-3-319-29509-1/pbk；978-3-3169-29510-7/电子书）。x、 第271页。(2016).
MSC公司：68-06 68米15 68纳米99 第68季度第60季度 68岁20岁 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{C.Artho}（编辑）和\textit{P.C.Olveczky}（主编），安全关键系统的形式化技术。第四次国际研讨会，2015年FTSCS，法国巴黎，2015年11月6-7日。修订了选定的论文。查姆：斯普林格（2016；Zbl 1393.68009）
全文： 内政部
巴伯，贝诺；玛尔塔·奎亚特科夫斯卡；亚历山大·梅雷克莱；尼古拉·保莱蒂

根据可执行的定时I/O自动机规范构建功耗模型。 （英语） Zbl 1366.68196号

第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3955-1）。195-204 (2016).
MSC公司：68问题85 65年第68季度 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Barbot}等人，《第19届ACM混合系统国际会议论文集：计算与控制》，HSCC 2016，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）。195-204（2016年；Zbl 1366.68196）
全文： 内政部
马丁·希尔舍尔；梅克·施瓦姆伯格

证明自治城市交通安全的抽象模型。 （英语） Zbl 1401.68199号

Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：施普林格（ISBN 978-3-319-46749-8/pbk；978-3-3169-46750-4/电子书）。计算机科学讲座笔记9965，274-292（2016）。
MSC公司：第68季度第60季度 03B70号 65年第68季度 90B20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Hilscher}和\textit{M.Schwammberger}，莱克特。票据计算。科学。9965274-292（2016年；Zbl 1401.68199）
全文： 内政部
西蒙·威默

形式化的时间自动机。 （英语） Zbl 1478.68183号

Blanchette，Jasmin Christian（编辑）等，交互式定理证明。2016年8月22日至25日在法国南希举行的2016年ITP第七届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9807, 425-440 (2016).
MSC公司：第68季度第60季度 65年第68季度 68问题85 68伏15 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Wimmer}，莱克特。票据计算。科学。9807425-440（2016；Zbl 1478.68183）
全文： 内政部
德文德拉·巴韦；维伦达·戴夫；克里希纳，S.N。；拉姆昌德拉·帕瓦德；阿舒托什·特里维迪

一类完美的上下文敏感时间语言。 （英语） Zbl 1436.68161号

Brlek，Srečko（编辑）等人，《语言理论的发展》。2016年7月25日至28日，第20届国际会议，DLT 2016，加拿大蒙特利尔。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。9840, 38-50 (2016).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Bhave}等人，Lect。票据计算。科学。9840、38-50（2016年；Zbl 1436.68161）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前3名

主字段

全部的 前3名

软件