×

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

最新的 引文 关联
范、楚楚;黄振奇;萨扬·密特拉

近似部分订单减少。 （英语） Zbl 1460.68070号

Havelund，Klaus（编辑）等人，《形式方法》。2018年7月15日至17日，作为联邦逻辑会议的一部分，在英国牛津举行了2018年第22届国际研讨会（FM 2018）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10951, 588-607 (2018).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Fan}等人，Lect。注释计算。科学。10951、588--607（2018；Zbl 1460.68070）
全文： 内政部 arXiv公司
亨宁·Günther;阿尔芬斯·拉阿尔曼;安娜·索科洛娃;乔治·威森巴赫

用于模型检查并发软件的动态约简。 （英语） Zbl 1484.68102号

Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 246-265 (2017).
MSC公司：60年第68季度 68甲19 68号30
PDF格式BibTeX公司 XML格式引用
\textit{H.Günther}等人，Lect。注释计算。科学。10145246--265（2017；Zbl 1484.68102）
全文： 内政部 arXiv公司
亚历山德罗·西马蒂;伊曼·纳拉萨姆迪亚;马可·罗维里

通过部分降阶提升SystemC的惰性抽象。 （英语） Zbl 1316.68072号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605341-356（2011）。
MSC公司：60年第68季度 68-04
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。注释计算。科学。6605341--356（2011；Zbl 1316.68072）
全文： 内政部
克里斯蒂安·达克斯;费利克斯·克莱特克;斯特凡·洛伊

口吃变异正则属性的规范语言。 （英语） Zbl 1262.68114号

刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799，244-254（2009）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{C.Dax}等人，Lect。注释计算。科学。5799，244--254（2009；Zbl 1262.68114）
全文： 内政部 链接
塞尔吉奥·吉罗;佩德罗·R·达吉尼奥。;费雷尔·菲奥里蒂，路易斯·玛丽亚

概率系统的部分降阶：分布式调度程序的修订。 （英语） Zbl 1254.68149号

Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。《计算机科学讲义》5710、338-353（2009）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Giro}等人，Lect。注释计算。科学。5710338-353（2009年；Zbl 1254.68149）
全文： 内政部
斯特凡·爱德坎普;维克多·舒潘;博什纳奇·德拉甘;安东·威伊斯;安斯加·芬克;侯赛因·阿尔贾扎尔

定向模型检查调查。 （英语） 兹比尔1226.68042

Peled，Doron A.（编辑）等人，《模型检查和人工智能》。2008年7月21日在希腊帕特拉斯举行的2008年MoChArt第五届国际研讨会。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-642-00430-8/pbk）。计算机科学课堂讲稿5348。人工智能课堂讲稿，65-89（2009）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Edelkamp}等人，Lect。注释计算。科学。5348、65-89（2009年；Zbl 1226.68042）
全文： 内政部 链接
阿扎德法尔赞;何塞·梅塞盖尔

编程语言重写语义的部分降阶。 （英语） Zbl 1279.68207号

Denker，Grit（编辑）等人，第六届重写逻辑及其应用国际研讨会论文集（WRLA 2006），奥地利维也纳，2006年4月1日至2日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》176，第4期，61-78（2007）。
MSC公司：60年第68季度 68甲15 2012年第68季度 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{A.Farzan}和\textit{J.Meseguer}，电子。注释Theor。计算。科学。176，第4号，61--78（2007；Zbl 1279.68207）
全文： 内政部
米克尔·伯特兰;弗朗西斯科·巴博特;气候，八月

通过程序重写实现分布式系统的形式序列化。 （英语） Zbl 1278.68213号

Lucio，Paqui（编辑）等人，《第六届西班牙编程与语言会议论文集》（PROLE 2006），西班牙巴塞罗那Sitges，2006年10月4-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记188，53-75（2007）。
MSC公司：68问题85 68甲19 2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.Bertran｝等人，电子。注释Theor。计算。科学。188、53-75（2007年；Zbl 1278.68213）
全文： 内政部
王旭;玛尔塔·奎亚特科夫斯卡

使用未纠缠动作的合成状态空间缩减。 （英语） Zbl 1277.68213号

Amadio，Roberto（编辑）等人，第13届并发表达性国际研讨会论文集（EXPRESS 2006），德国波恩，2006年8月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》175，第3期，27-46（2007）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{X.Wang}和\textit{M.Kwiatkowska}，电子。注释Theor。计算。科学。175，第3号，27-46（2007；Zbl 1277.68213）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件