西尔维亚·克拉法;弗朗西斯科·兰扎托 概率分布转移系统上行为关系的逻辑特征。 （英语） Zbl 1354.68192号 ACM事务处理。计算。日志。 16，第1号，第2条，24页（2015年）.MSC公司：68问题85 03B70号 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Crafa}和\textit{F.Ranzato}，ACM Trans。计算。日志。16，第1号，第2条，24页（2015年；Zbl 1354.68192） 全文： 内政部 链接
西尔维娅·克拉法;弗朗西斯科·兰扎托 通过抽象解释实现概率转换系统的双模拟和模拟算法。 （英语） Zbl 1290.68093号 形式方法系统。设计。 40，第3期，356-376（2012）.MSC公司：68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Crafa}和\textit{F.Ranzato}，《形式方法系统》。设计。40，第3号，356--376（2012；Zbl 1290.68093） 全文： 内政部
西尔维亚·克拉法;弗朗西斯科·兰扎托 基于概率分布的LTS行为关系谱。 （英语） Zbl 1344.68162号 Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901124-139（2011）。MSC公司：68问题85 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Crafa}和\textit{F.Ranzato}，莱克特。注释计算。科学。6901124-139（2011年；Zbl 1344.68162） 全文： 内政部
西尔维亚·克拉法;弗朗西斯科·兰扎托 概率互模拟和抽象解释的模拟算法。 （英语） Zbl 1333.68196号 Aceto，Luca（编辑）等人，《自动化，语言和编程》。第38届国际学术讨论会，ICALP 2011，瑞士苏黎世，2011年7月4日至8日。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学课堂讲稿6756295-306（2011）。MSC公司：68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Crafa}和\textit{F.Ranzato}，莱克特。注释计算。科学。6756295--306（2011年；Zbl 1333.68196） 全文： 内政部