埃尔南·蓬塞·德莱昂;安德烈·莫霍夫 并发系统的紧凑且有效的可验证模型。 （英语） Zbl 1425.68301号 形式方法系统。设计。 53，第3期，407-431（2018）.MSC公司：68问题85 06年06月06日 68页30 PDF格式BibTeX公司 XML格式引用 \textit{H.Ponce de León}和\textit{A.Mokhov}，《形式与方法系统》。设计。53，第3号，407--431（2018；Zbl 1425.68301） 全文： 内政部 链接
阿尼尔班·巴塔查里亚;安德烈·莫霍夫;皮尔斯，肯 可靠系统动态重构建模和分析的形式主义实证比较。 （英语） Zbl 1358.68078号 正式Asp。计算。 29，第2期，251-307（2017）.MSC公司：68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bhattacharyya}等人，正式Asp。计算。29，第2号，251--307（2017；Zbl 1358.68078） 全文： 内政部 arXiv公司 链接
埃尔南Ponce-de-León;安德烈·莫霍夫 在部分订单集之间建立桥梁。 （英语） Zbl 1451.68193号 Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2015年3月2日至6日在法国尼斯举行的2015年拉丁美洲旅游协会第九届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8977, 145-160 (2015).MSC公司：68问题85 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{H.Ponce-de-León}和\textit{A.Mokhov}，Lect。注释计算。科学。8977，145-160（2015；Zbl 1451.68193） 全文： 内政部 哈尔