佩德罗·桑切斯·特拉夫 相似性不是Borel。 （英语） Zbl 1377.68150号 数学。结构。计算。科学。 27，第7期，1265-1284（2017）. 审核人：Ernst-Erich Doberkat（多特蒙德） 理学硕士：68问题85 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{P.Sánchez Terraf}，数学。结构。计算。科学。27，第7号，1265--1284（2015；Zbl 1377.68150） 全文： 内政部 arXiv公司
卡洛斯·巴德（Carlos E.Budde）。;佩德罗·R·达吉尼奥。;佩德罗·桑切斯·特拉夫;尼科拉斯·沃尔维克 随机和非确定性连续系统的语义理论。 （英语） Zbl 1426.68188号 Remke，Anne（编辑）等人，《随机模型检验》。使用随机系统的模型检查技术进行严格的可靠性分析。2012年10月22日至26日，意大利瓦尔恩2012年ROCKS国际秋季学校。高级讲座。柏林：施普林格。勒克特。注释计算。科学。8453, 67-86 (2014).理学硕士：87年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.E.Budde}等人，Lect。注释计算。科学。8453，67-86（2014；Zbl 1426.68188） 全文： 内政部 链接
佩德罗·R·达吉尼奥。;佩德罗·桑切斯·特拉夫;尼科拉斯·沃尔维克 非确定性标记马尔可夫过程的互模拟。 （英语） Zbl 1234.68316号 数学。结构。计算。科学。 22，第1期，43-68（2012）.理学硕士：87年第68季度 68问题85 60J25型 PDF格式BibTeX公司 XML格式引用 \textit{P.R.D'Argenio}等人，《数学》。结构。计算。科学。22，第1号，第43--68条（2012；Zbl 1234.68316） 全文： 内政部 arXiv公司
佩德罗·桑切斯·特拉夫 互模拟逻辑特征的不可验证性。 （英语） Zbl 1216.68196号 Inf.计算。 209，第7期，1048-1056（2011）.理学硕士：68问题85 60J05型 03B45 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Sánchez Terraf}，信息计算。209，第7号，1048--1056（2011；Zbl 1216.68196） 全文： 内政部