卡米洛·罗查;何塞·梅塞盖尔;塞萨尔·穆尼奥斯 重写模块SMT和开放系统分析。 （英语） Zbl 1353.68156号 J.日志。阿尔盖布。方法计划。 86，第1号，269-297（2017）.MSC公司：2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Rocha}等人，J.Log。阿尔盖布。方法计划。86，第1269-297号（2017年；兹bl 1353.68156） 全文： 内政部
穆萨布·A·阿尔图尔基。;何塞·梅塞盖尔 Orc的可执行重写逻辑语义和Orc程序的形式化分析。 （英语） Zbl 1329.68169号 J.日志。阿尔盖布。方法计划。 84，第4期，505-533（2015）.MSC公司：68问题55 03B70号 2010年第68季度 2012年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.A.AlTurki}和\textit{J.Meseguer}，J.Log。阿尔盖布。方法计划。84，第4号，505--533（2015；Zbl 1329.68169） 全文： 内政部
彼得·塞巴·奥维茨基;何塞·梅塞盖尔 实时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年；兹bl 1277.68144） 全文： 内政部
彼得·塞巴·奥维茨基;何塞·梅塞盖尔 实时淡紫色的语义和语用。 （英语） Zbl 1115.68095号 高-订购符号。计算。 20，第1-2号，161-196（2007）.MSC公司：2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Ølveczky}和\textit{J.Meseguer}，高-订购符号。计算。20，编号1--2，161-196（2007；Zbl 1115.68095） 全文： 内政部
Ölveczky、Peter Csaba;何塞·梅塞盖尔;卡罗琳·塔尔科特。 实时Maude中AER/NCA主动网络协议套件的规范和分析。 （英语） Zbl 1109.68010号 形式方法系统。设计。 29，第3期，253-293（2006）.MSC公司：68个M12 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Ùlveczky}等人，《形式方法系统》。设计。29，第3号，253--293（2006；Zbl 1109.68010） 全文： 内政部 链接
彼得·塞巴·奥维茨基;何塞·梅塞盖尔 重写逻辑中实时和混合系统的规范。 （英语） Zbl 1001.68061号 西奥。计算。科学。 285，第2期，359-405（2002）.MSC公司：2012年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Ølveczky}和\textit{J.Meseguer}，Theor。计算。科学。285，第2号，359--405（2002；Zbl 1001.68061） 全文： 内政部