瓦伦蒂娜·卡斯蒂格利奥尼;拉诺特、拉格罗;西蒙·蒂尼 回到形式：概率过程的SOS调查。 （英语） Zbl 07803182号 J.日志。阿尔盖布。方法计划。 137，文章ID 100929，46 p.（2024）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit｛V.Castiglioni｝等人，J.日志。阿尔盖布。方法计划。137，文章ID 100929，46 p.（2024；Zbl 07803182） 全文： 内政部
拉诺特、拉格罗;马西莫·梅罗;西蒙·蒂尼 网络物理系统的概率演算。 （英语） Zbl 1497.68346号 Inf.计算。 279，文章ID 104618，30 p.（2021）.MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人，《信息计算》。279，文章ID 104618，30 p.（2021；Zbl 1497.68346） 全文： 内政部 arXiv公司
拉诺特、拉格罗;西蒙·蒂尼 具有不确定性和连续状态空间的模型中互模拟度量的弱语义方法。 （英语） Zbl 1497.68347号 西奥。计算。科学。 869, 29-61 (2021).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}和\textit{S.Tini}，Theor。计算。科学。869，29-61（2021；Zbl 1497.68347） 全文： 内政部
拉诺特、拉格罗;马西莫·梅罗;西蒙·蒂尼 无线网络八卦协议中的等式推理。 （英语） Zbl 1408.68030号 日志。方法计算。科学。 14，第3号，第24号论文，47页（2018年）. 审核人：Tiit Riismaa（塔林） MSC公司：68个M12 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人，日志。方法计算。科学。14，第3号，第24号论文，47页（2018；Zbl 1408.68030） 全文： 内政部 arXiv公司
拉诺特、拉格罗;马西莫·梅罗;西蒙·蒂尼 组密钥更新的组合弱度量。 （英语） Zbl 1441.68146号 Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。83，第72条，第16页（2017年）。MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人，LIPIcs——莱布尼茨国际程序。通知。83，第72条，第16页（2017年；Zbl 1441.68146） 全文： 内政部
拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 概率时间自动机的弱互模拟。 （英语） Zbl 1208.68160号 西奥。计算。科学。 411，第50号，4291-4322（2010）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{R.Lanotte}等人，Theor。计算。科学。411，第50号，4291--4322（2010；Zbl 1208.68160） 全文： 内政部
拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 具有无界数据结构的时间自动机的可达性结果。 （英语） Zbl 1214.68199号 学报信息。 47，编号5-6，279-311（2010）.MSC公司：65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人，《信息学报》第47期，第5--6279--311号（2010年；Zbl 1214.68199） 全文： 内政部
拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 用于系统设计和分析的参数概率过渡系统。 （英语） Zbl 1111.68084号 正式Asp。计算。 19，第1期，93-109（2007）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人，《正式Asp》。计算。19，第1号，93--109（2007；Zbl 1111.68084） 全文： 内政部
拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼 单调混合系统。 （英语） Zbl 1081.68048号 J.计算。系统。科学。 71，第1号，34-69（2005）.MSC公司：65年第68季度 60年第68季度 93A10号 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}和\textit{A.Maggiolo-Schettini}，J.Compute。系统。科学。71，第1号，34--69（2005；Zbl 1081.68048） 全文： 内政部