×

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

最新的 引文 关联
Larsen，Kim G。;克里斯蒂安·席林;吉·斯尔巴

形式化方法中的模拟关系和应用。 （英语） Zbl 1528.68188号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 272-291 (2022).
MSC公司：65年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.G.Larsen}等人，Lect。注释计算。科学。13660272--291（2022年；Zbl 1528.68188）
全文： 内政部
乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔;唐启毅;弗兰克·范·布鲁格尔

计算概率自动机的概率双相似距离。 （英语） Zbl 1509.68181号

日志。方法计算。科学。 17，第1号，第9号论文，36页（2021年）.
MSC公司：68问题85 03B44号 65年第68季度 87年第68季度 第91页第15页
PDF格式BibTeX公司 XML格式引用
\textit{G.Bacci}等人，日志。方法计算。科学。17，第1号，第9号论文，36页（2021；Zbl 1509.68181）
全文： arXiv公司 链接
Larsen，Kim G。;马里乌斯·米库奇奥尼斯;马尔科·穆尼兹;吉·斯尔巴

扩展时间自动机的紧急部分降阶。 （英语） Zbl 1517.68259号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12302179-195（2020年）。
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.G.Larsen}等人，Lect。注释计算。科学。12302179--195（2020年；Zbl 1517.68259）
全文： 内政部
奥尔加·加迪亚茨卡亚;汉森、雷内·里多夫;金·古德斯特兰·拉森;Legay、Axel;Mads Chr.奥列森。;丹尼·鲍尔森

使用时间自动机建模攻击防御树。 （英语） Zbl 1433.68251号

Fränzle，Martin（编辑）等人，《定时系统的形式化建模和分析》。第14届国际会议，FORMATS 2016，加拿大魁北克，QC，2016年8月24日至26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9884，35-50（2016年）。
MSC公司：68问题85 68平方米25 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Gadyatskaya}等人，Lect。注释计算。科学。9884，35-50（2016；Zbl 1433.68251）
全文： 内政部 哈尔
简·克雷汀斯基;金·古德斯特兰·拉森;西蒙·劳尔森;吉里·斯尔巴

部分可观测条件下加权同步的多项式时间可判定性。 （英语） Zbl 1374.68260号

Aceto，Luca（编辑）等人，第26届并发理论国际会议，CONCUR’15，西班牙马德里，2015年9月1日至4日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-91-0）。LIPIcs–莱布尼茨国际信息学论文集42，142-154（2015）。
MSC公司：65年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Kretinsky}等人，LIPIcs——莱布尼茨国际程序。通知。42、142--154（2015年；Zbl 1374.68260）
全文： 内政部
彼得·布里切夫;弗兰克·卡塞兹;亚历山大·戴维;金·古德斯特兰·拉森;Jean-François拉斯金;皮埃尔·阿莱·雷尼尔

具有最小观测能力的控制器（应用于定时系统）。 （英语） Zbl 1374.68255号

Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561223-237（2012）。
MSC公司：65年第68季度 60年第68季度 68问题85 93亿B50
PDF格式BibTeX公司 XML格式引用
\textit{P.Bulychev}等人，Lect。注释计算。科学。7561、223--237（2012年；Zbl 1374.68255）
全文： 内政部 arXiv公司
米罗斯拉夫·克里莫什;Larsen，Kim G。;Štefaňák，Filip;塔鲁普，杰佩

并发定价博弈中的纳什均衡。 （英语） Zbl 1351.68182号

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2012年3月5日至9日在西班牙科鲁尼亚举行的2012年拉丁美洲旅游协会第六届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28331-4/pbk）。《计算机科学讲义》7183363-376（2012）。
MSC公司：68问题85 2017年第68季度 65年第68季度 91A06型 91A10号 91年43月
PDF格式BibTeX公司 XML格式引用
\textit{M.Klimoš}等人，莱克特。注释计算。科学。7183，363--376（2012；Zbl 1351.68182）
全文： 内政部
乌里·法伦贝格;Juhl，Line公司;Larsen，Kim G。;吉·斯尔巴

多重加权自动机中的能量博弈。 （英语） Zbl 1350.68168号

Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2011》。第八届国际学术讨论会，南非约翰内斯堡，2011年8月31日至9月2日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23282-4/pbk）。计算机科学课堂讲稿6916，95-115（2011）。
MSC公司：65年第68季度 68问题85 91年43月
PDF格式BibTeX公司 XML格式引用
\textit{U.Fahrenberg}等人，Lect。注释计算。科学。6916，95-115（2011；Zbl 1350.68168）
全文： 内政部 哈尔
亚历山大·戴维;Larsen，Kim G。;Legay、Axel;马吕斯·米库奇奥尼斯;丹尼·鲍尔森;乔纳斯·范弗利特;王，郑

定价时间自动机网络的统计模型检验。 （英语） Zbl 1348.68130号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，80-96（2011）。
MSC公司：60年第68季度 65年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.David}等人，Lect。注释计算。科学。6919、80-96（2011年；Zbl 1348.68130）
全文： 内政部
卢卡·埃特罗;Anna Ingólfsdóttir;Larsen，Kim G。;吉·斯尔巴

无功系统。建模、规范和验证。 （英语） Zbl 1141.68043号

剑桥：剑桥大学出版社（ISBN 978-0-521-87546-2/hbk）。十六、284页。(2007).
审核人：马格努斯·斯坦比（图尔库）
MSC公司：68问题85 68-01 60年第68季度 65年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，反应系统。建模、规范和验证。剑桥：剑桥大学出版社（2007；Zbl 1141.68043）
全文： 内政部
格德·贝尔曼;Larsen，Kim G。;雅各布·伊勒姆拉斯穆森

超越活性：针对有时间限制活性的有效参数合成。 （英语） Zbl 1175.68255号

Pettersson，Paul（编辑）等，时间系统的形式化建模和分析。第三届国际会议，FORMATS 2005，乌普萨拉，瑞典，2005年9月26-28日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30946-2/pbk）。计算机科学课堂讲稿382981-94（2005）。
MSC公司：60年第68季度 68平方米 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Behrmann}等人，Lect。注释计算。科学。3829、81-94（2005年；Zbl 1175.68255）
全文： 内政部
弗兰克·卡塞兹;亚历山大·戴维;伊曼纽尔·弗勒里;Larsen，Kim G。;莱姆，迪迪埃

用于分析计时游戏的高效实时算法。 （英语） Zbl 1134.68382号

Abadi，Martín（编辑）等人，CONCUR 2005–并发理论。第16届国际会议，CONCUR 2005，美国加利福尼亚州旧金山，2005年8月23日至26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28309-9/pbk）。计算机科学课堂讲稿3653，66-80（2005）。
MSC公司：65年第68季度 68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Cassez}等人，Lect。注释计算。科学。3653、66-80（2005年；Zbl 1134.68382）
全文： 内政部
格德·贝尔曼;大卫，亚历山大;Larsen，Kim G。

UPPAAL教程。 （英语） Zbl 1105.68350号

Bernardo，Marco（编辑）等人，实时系统设计的形式化方法。计算机、通信和软件系统正式设计方法国际学校，SFM-RT 2004，意大利贝蒂诺罗，2004年9月13日至18日。修订的讲座。柏林：施普林格出版社（ISBN 3-540-23068-8/pbk）。计算机科学课堂讲稿3185200-236（2004）。
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Behrmann}等人，Lect。注释计算。科学。3185200--236（2004；Zbl 1105.68350）
全文： 内政部
格德·贝尔曼;Larsen，Kim G。;拉德克·佩拉内克

储存或不储存。 （英语） Zbl 1278.68155号

Hunt，Warren A.jun.（编辑）等人，《计算机辅助验证》。第15届国际会议，2003年CAV，美国科罗拉多州博尔德，2003年7月8-12日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40524-0/pbk）。莱克特。注释计算。科学。2725, 433-445 (2003).
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Behrmann}等人，Lect。注释计算。科学。2725433--445（2003年；Zbl 1278.68155）
全文： 内政部
弗兰克·卡塞兹;金·拉森

秒表令人印象深刻的力量。 （英语） Zbl 0999.68112号

Palamidessi，Catuscia（编辑），CONCUR 2000-并发理论。2000年8月22日至25日，第11届国际会议，美国宾夕法尼亚州大学公园。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1877, 138-152 (2000).
MSC公司：65年第68季度 68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Cassez}和\textit{K.Larsen}，莱克特。注释计算。科学。1877，138--152（2000；Zbl 0999.68112）

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件