×

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

最新的 引文 关联
马林诺夫斯基（Janusz Malinowski）；彼得·尼伯特

基于SAT的时间自动机部分序语义有界模型检验。 （英语） Zbl 1284.68412号

Esparza，Javier（编辑）等人，《系统构建和分析的工具和算法》。2010年3月20日至28日在塞浦路斯帕福斯举行的第16届国际会议（TACAS 2010）是欧洲软件理论与实践联合会议（ETAPS 2010）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-12001-5/pbk）。计算机科学课堂讲稿6015，405-419（2010）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.马林诺夫斯基}和\textit{P.尼伯特}，莱克特。票据计算。科学。6015405--419（2010年；Zbl 1284.68412）
全文： 内政部
鲁道夫·戈麦斯

将带有截止日期的时间自动机合成为Uppaal时间自动机。 （英语） Zbl 1262.68091号

Ouaknine，Joöl（编辑）等，时间系统的形式化建模和分析。第七届国际会议，FORMATS 2009，匈牙利布达佩斯，2009年9月14日至16日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04367-3/pbk）。计算机科学课堂讲稿5813179-194（2009）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Gómez}，莱克特。票据计算。科学。5813、179--194（2009年；Zbl 1262.68091）
全文： 内政部
卡洛斯·巴齐利奥；爱德华·赫尔曼·海尔；马库斯·恩德勒

面向语言的形式化分析：协议和分布式系统的案例研究。 （英语） Zbl 1279.68247号

Sampaio，Augusto（编辑），第二届巴西正式方法研讨会论文集（SBMF 2005），Porto Alegre，RS，巴西，2005年11月30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记184189-207（2007）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Bazilio}等人，《电子》。注释Theor。计算。科学。184189-207（2007年；Zbl 1279.68247）
全文： 内政部
彼得·塞巴·奥维茨基；何塞·梅塞格尔

实时Maude的最新进展。 （英语） Zbl 1277.68144号

Fernández，M.（ed.）等人，第七届基于规则编程国际研讨会会议记录（rule 2006），西雅图，华盛顿州，美国，2006年8月11日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第1期，65-81（2007）。
MSC公司：60年第68季度 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{P.C.Ølveczky}和\textit{J.Meseguer}，电子。注释Theor。计算。科学。174，第1号，65-81（2007年；兹bl 1277.68144）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件