Bae，Kyungmin先生;何塞·梅塞盖尔 用于重写的线性时态逻辑的基于重写的模型检查器。 （英语） Zbl 1291.68244号 Kniesel，Günter（编辑）等人，第九届基于规则的编程国际研讨会（2008年规则），奥地利哈根堡哈根堡城堡，2008年7月14日至18日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记290，19-36（2012）。MSC公司：60年第68季度 03B44号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bae}和\textit{J.Meseguer}，电子。注释Theor。计算。科学。290、19-36（2012年；Zbl 1291.68244） 全文： 内政部
迈克尔·凯特尔曼;肖恩·凯勒;何塞·梅塞盖尔 重写生产规则集的语义。 （英语） Zbl 1279.68188号 J.日志。阿尔盖布。程序。 81，编号7-8，929-956（2012）.MSC公司：68问题55 2012年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Katelman}等人，J.Log。阿尔盖布。程序。81，编号7--8929--956（2012；Zbl 1279.68188） 全文： 内政部
何塞·梅塞盖尔;米盖尔·帕洛米诺;马丁·奥列特，纳西索 代数模拟。 （英语） Zbl 1184.68300号 J.日志。阿尔盖布。程序。 79，第2期，第103-143页（2010年）.MSC公司：2012年第68季度 60年第68季度 03B44号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}等人，J.Log。阿尔盖布。程序。79，No.2，103--143（2010；Zbl 1184.68300） 全文： 内政部
何塞·梅塞盖尔;米盖尔·帕洛米诺;马丁·奥列特，纳西索 等式抽象。 （英语） Zbl 1155.68050号 西奥。计算。科学。 403，编号2-3，239-264（2008）.MSC公司：60年第68季度 03B44号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}等人，Theor。计算。科学。403，编号2--3，239--264（2008；Zbl 1155.68050） 全文： 内政部
阿扎德法尔赞;何塞·梅塞盖尔 编程语言重写语义的部分降阶。 （英语） 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） 全文： 内政部
史蒂文·艾克;何塞·梅塞盖尔;安巴里什·斯里德哈拉纳拉亚南 Maude LTL模型检查器。 （英语） Zbl 1272.68243号 Gadducci，Fabio（编辑）等人，WRLA 2002。第四届重写逻辑及其应用国际研讨会论文集，意大利比萨，2002年9月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记71，162-187（2004）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Eker}等人，《电子》。注释Theor。计算。科学。71、162--187（2004年；Zbl 1272.68243） 全文： 链接