×

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

最新的 引文 关联
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 1351.68164号

Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319289-313，仅电子版（2015）。
MSC公司：60年第68季度 03B45 第68季度55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.G.Larsen}等人，《电子》。注释Theor。计算。科学。319289-313（2015年；兹比尔1351.68164）
全文： 内政部
萨米·贾齐里；Larsen，Kim G。；拉杜·马达尔；薛冰田

时间模态逻辑的充分性和完全公理化。 （英语） Zbl 1337.03028号

Jacobs，Bart（编辑）等人，《第30届编程语义数学基础会议论文集》（MFPS XXX），美国纽约州伊萨卡，2014年6月12日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记308183-210，仅电子版（2014）。
MSC公司：03B45 03B70号 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛S.Jaziri｝等人，电子。注释Theor。计算。科学。308183-210（2014年；Zbl 1337.03028）
全文： 内政部
纪尧姆·加迪；约翰·马林斯；奥利维尔·H·鲁克斯。

安全时间自动机的无干扰控制综合。 （英语） Zbl 1277.68184号

Michael Backes（编辑）等人，《安全与并发国际研讨会论文集》（SecCo 2005），美国加利福尼亚州旧金山，2005年8月22日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》180，第1期，35-53（2007）。
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Gardey}等人，《电子》。注释Theor。计算。科学。180，编号1，35-53（2007；Zbl 1277.68184）
全文： 内政部
弗兰克·卡塞兹；亚历山大·戴维；Larsen，Kim G。；莱姆，迪迪埃；Jean-François拉斯金

基于观察和断续不变策略的时间控制。 （英语） Zbl 1141.68428号

Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762192-206（2007）。
MSC公司：65年第68季度 91A80型 93亿B50
PDF格式BibTeX公司 XML格式引用
\textit{F.Cassez}等人，Lect。票据计算。科学。4762192-206（2007年；兹比尔1141.68428）
全文： 内政部 哈尔
Larsen，Kim G。；保罗·佩特森；易、王

实时系统的模型检查。 （英语） Zbl 1507.68193号

Reichel，Horst（编辑），《计算理论基础》。1995年8月22日至25日，第十届国际会议，FCT’95，德国德累斯顿。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。965, 62-88 (1995).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛K.G.Larsen｝等人，Lect。票据计算。科学。965、62-88（1995年；Zbl 1507.68193）
全文： 内政部 哈尔

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件