×

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

最新的 引文 关联
本杰明·比斯平；大卫·詹森（David N.Jansen）。；乌韦·内斯特曼

一次性决定所有行为等效性：线性时间分支时间谱的游戏。 （英语） Zbl 07577583号

日志。方法计算。科学。 18，第3号，第19号论文，33页（2022年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{B.Bisping}等人，《日志》。方法计算。科学。18，第3号，第19号文件，第33页（2022；兹bl 07577583）
全文： arXiv公司 链接
本杰明·比斯平；乌韦·内斯特曼

线性时间分支时间光谱的游戏。 （英语） Zbl 1467.68129号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 3-19 (2021).
MSC公司：68问题85 03B70号 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{B.Bisping}和\textit{U.Nestmann}，莱克特。注释计算。科学。12651，3-19（2021；Zbl 1467.68129）
全文： 内政部 arXiv公司
牧场克利夫兰；A.W.罗斯科。；斯科特·斯莫尔卡。

过程代数和模型检查。 （英语） Zbl 1392.68243号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1149-1195 (2018).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Cleaveland}等人，in：模型检查手册。查姆：斯普林格。1149--1195（2018；Zbl 1392.68243）
全文： 内政部
阿德里安·弗兰卡兰扎

持续检测监视器。 （英语） Zbl 1442.68107号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第8条，第19页（2017年）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Francalanza}，LIPIcs——莱布尼茨国际程序。通知。85，第8条，第19页（2017年；Zbl 1442.68107）
全文： 内政部
菲利波·邦奇；马塞洛·邦桑格；乔治亚娜·卡尔泰斯；简·拉特；亚历山德拉·席尔瓦

修饰痕迹的最终语义。 （英语） Zbl 1342.68224号

Berger，Ulrich（ed.）等人，第28届编程语义数学基础会议论文集（MFPS XXVIII），英国巴斯，2012年6月6日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记28673-86（2012）。
MSC公司：68问题85 65年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，《电子》。注释Theor。计算。科学。286，73-86（2012年；兹比尔1342.68224）
全文： 内政部
Virbitskaite，I.B.公司。；格里博夫斯卡娅，N.S。

统一定时转换系统的行为等效性。 （英语。俄文原件） 兹比尔1251.68163

程序。计算。柔和。 36，第3期，138-148（2010）; 译自Programmirovanie 36，No.3（2010）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{I.B.Virbitskaite}和\textit{N.S.Gribovskaya}，程序。计算。柔和。36，第3号，138--148（2010；Zbl 1251.68163）；译自Programmirovanie 36，No.3（2010）
全文： 内政部
埃尔克·博伊滕；约翰·德里克

关系并发求精中的分歧建模。 （英语） Zbl 1211.68265号

Leuschel，Michael（编辑）等人，《综合形式方法》。2009年2月16日至19日，德国杜塞尔多夫，第七届国际会议，IFM 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00254-0/pbk）。计算机科学课堂讲稿5423183-199（2009）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Boiten}和\textit{J.Derrick}，莱克特。注释计算。科学。5423183-199（2009年；Zbl 1211.68265）
全文： 内政部
马可·贝尔纳多

基于T集总率一致关系的状态空间约简。 （英语） Zbl 1180.68186号

Thomas，Nigel（编辑）等人，《计算机性能工程》，第五届欧洲性能工程研讨会，EPEW 2008，西班牙马洛卡棕榈岛，2008年9月24日至25日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87411-9/pbk）。计算机科学课堂讲稿526164-78（2008）。
MSC公司：68问题85 68米15 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{M.Bernardo}，莱克特。注释计算。科学。5261、64--78（2008年；Zbl 1180.68186）
全文： 内政部
戴维·德·弗鲁托斯·埃斯克里格；卡洛斯·格雷戈里奥·罗德里格斯

模拟最新和规范的预订单（扩展抽象）。 （英语） Zbl 1278.68148号

van Glabbeek，Rob（编辑）等人，《结构操作语义第四次研讨会论文集》（SOS 2007），波兰弗罗茨瓦夫，2007年7月9日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》192，第1期，13-28（2007）。
MSC公司：68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.de Frutos Escrig}和\textit{C.G.Rodríguez}，电子。注释Theor。计算。科学。192，编号1，13--28（2007；Zbl 1278.68148）
全文： 内政部
马可·贝尔纳多

马尔科夫检验和迹等价性比马尔科夫双相似性更为复杂。 （英语） Zbl 1316.68086号

Aceto，Luca（编辑）等人，《代数过程计算论文》研讨会论文集（APC 25），意大利贝蒂诺罗，2005年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记162，87-99（2006）。
MSC公司：68问题85 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bernardo}，电子。注释Theor。计算。科学。162、87-99（2006；Zbl 1316.68086）
全文： 内政部
安蒂·瓦尔马里

状态空间验证方法中的组合性。 （英语） Zbl 1418.68155号

Billington，Jonathan（编辑）等人，《Petri网的应用和理论》，1996年。第17届国际会议，日本大阪，1996年6月24日至28日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1091, 29-56 (1996).
MSC公司：68问题85 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Valmari}，莱克特。注释计算。科学。1091、29-56（1996年；Zbl 1418.68155）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件