阿德里安·里斯科;细辛、伊琳娜·玛丽卡;米哈伊尔·阿萨沃埃 Maude中语义规范的内存策略分析。 （英语） Zbl 1473.68056号 Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆：斯普林格。勒克特。注释计算。科学。9527, 293-310 (2015).MSC公司：68纳米30 68甲15 2012年第68季度 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Riesco}等人，Lect。注释计算。科学。9527、293--310（2015年；Zbl 1473.68056） 全文： 内政部
何塞·梅塞盖尔;格里高·罗什乌 重写逻辑语义项目：进度报告。 （英语） Zbl 1435.68188号 Inf.计算。 231, 38-69 (2013).MSC公司：第68季度55 03B70号 68纳米30 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu}，信息计算。231、38--69（2013年；Zbl 1435.68188） 全文： 内政部
Bae，Kyungmin先生;Ölveczky、Peter Csaba;冯，托马斯·惠宁;爱德华·A·李。;斯塔夫罗斯·特里帕基斯 使用实时淡紫色验证等级托勒密二世离散事件模型。 （英语） Zbl 1264.68051号 科学。计算。程序。 77，第12期，1235-1271（2012）.MSC公司：68纳米30 60年第68季度 第68季度55 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{K.Bae}等人，科学。计算。程序。77，第12号，1235--1271（2012；Zbl 1264.68051） 全文： 内政部
何塞·梅塞盖尔;格里高·罗什乌 重写逻辑语义项目：进度报告。 （英语） Zbl 1342.68198号 Owe，Olaf（编辑）等人，《计算理论基础》。2011年8月22日至25日在挪威奥斯陆举行的FCT 2011第18届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22952-7/pbk）。计算机科学课堂讲稿6914，1-37（2011）。MSC公司：第68季度55 03B70号 68纳米30 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu}，莱克特。注释计算。科学。6914，1--37（2011；Zbl 1342.68198） 全文： 内政部
尤罕·博伊库特;托马斯·杰奈特;托马斯·延森;卢卡勒鲁 重写近似值，用于静态分析器的快速原型制作。 （英语） Zbl 1203.68068号 Franz Baader（编辑），术语重写和应用。2007年6月26日至28日在法国巴黎举行的2007年RTA第18届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73447-5/pbk）。《计算机科学讲义》4533，48-62（2007）。MSC公司：2012年第68季度 68纳米30 65年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{Y.Boichut}等人，Lect。注释计算。科学。4533、48-62（2007年；Zbl 1203.68068） 全文： 内政部
曼纽尔·克莱维尔;弗朗西斯科·杜兰;史蒂文·艾克;帕特里克·林肯;马丁·奥列特，纳西索;何塞·梅塞盖尔;卡罗琳·塔尔科特 关于Maude——一个高性能逻辑框架。如何在重写逻辑中指定、编程和验证系统。带CD-ROM。 （英语） Zbl 1115.68046号 计算机科学课堂讲稿4350.柏林：施普林格出版社（ISBN 978-3-540-71940-3/pbk）。xxii，797页。(2007).MSC公司：68甲15 68纳米30 64岁以下 03B70号 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.Clavel}等人，《关于Maude的一切——一个高性能逻辑框架》。如何在重写逻辑中指定、编程和验证系统。带CD-ROM。柏林：施普林格（2007；Zbl 1115.68046）
何塞·梅塞盖尔;格里高·罗什乌 重写逻辑语义项目。 （英语） Zbl 1273.68211号 Peter Mosses等人，《结构操作语义学第二次研讨会论文集》（SOS 2005），葡萄牙里斯本，2005年7月10日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》156，第1期，27-56（2006）。MSC公司：第68季度55 03B70号 68纳米30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu}，电子。注释Theor。计算。科学。156，编号1，27-56（2006；Zbl 1273.68211） 全文： 链接
何塞·梅塞盖尔;格里高·罗什乌 重写逻辑语义：从语言规范到形式化分析工具。 （英语） Zbl 1126.68464号 David Basin（编辑）等人，《自动推理》。第二届国际联合会议，2004年7月4日至8日，爱尔兰科克，IJCAR 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22345-2/pbk）。计算机科学课程讲稿3097。人工智能课堂讲稿，1-44（2004）。MSC公司：第68季度55 2012年第68季度 60年第68季度 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit｛J.Meseguer｝和\textit｛G.Roşu｝，Lect。注释计算。科学。3097，1-44（2004；Zbl 1126.68464） 全文： 内政部