×

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

最新的 引文 关联
刘，思；彼得·塞巴·奥维茨基；何塞·梅塞盖尔

使用实时Maude对MANET中的领导人选举进行形式化分析。 （英语） Zbl 1454.68014号

De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·维尔辛（Martin Wirsing）在2015年从编程和软件工程主席退休之际发表的论文，德国慕尼黑。论文。查姆：斯普林格。莱克特。注释计算。科学。8950, 231-252 (2015).
MSC公司：68个M12 64岁以下 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Liu}等人，Lect。注释计算。科学。8950231--252（2015；Zbl 1454.68014）
全文： 内政部
卢西安·本蒂亚；彼得·塞巴·奥维茨基

概率实时重写理论及其表达能力。 （英语） Zbl 1348.68080号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，60-79（2011）。
MSC公司：2012年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bentea}和\textit{P.C.lveczky}，莱克特。注释计算。科学。6919、60-79（2011年；Zbl 1348.68080）
全文： 内政部 链接
彼得·塞巴·奥维茨基；何塞·梅塞盖尔

实时Maude的抽象和完整性。 （英语） Zbl 1279.68218号

Denker，Grit（编辑）等人，第六届重写逻辑及其应用国际研讨会论文集（WRLA 2006），奥地利维也纳，2006年4月1日至2日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》176，第4期，5-27页（2007年）。
MSC公司：60年第68季度 03B25号 03B70号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.C.Ølveczky}和\textit{J.Meseguer}，电子。注释Theor。计算。科学。176，第4号，第5--27号（2007；Zbl 1279.68218）
全文： 内政部
彼得·塞巴·奥维茨基；何塞·梅塞盖尔

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

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

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

出版年份

主字段

全部的 前3名

软件