佩德罗·R·达吉尼奥。;丹尼尔·格布勒;李,马蒂亚斯·戴维 概率转移系统规范的通用SOS理论。 (英语) Zbl 1344.68163号 Inf.计算。 249, 76-109 (2016)。MSC公司:68问题85 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.R.D'Argenio}等人,《信息计算》。249、76-109(2016年;Zbl 1344.68163) 全文: 内政部
佩德罗·达吉尼奥。;李,马蒂亚斯·戴维;丹尼尔·格布勒 凸概率和抽象概率互模拟的SOS规则格式。 (英语) Zbl 1476.68170号 Crafa,Silvia(ed.)等人,《第22届并发表达性国际研讨会和第12届结构操作语义国际研讨会论文集》,EXPRESS/SOS 2015,西班牙马德里,2015年8月31日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)190,31-45(2015)。MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.R.D'Argenio}等人,《电子》。程序。西奥。计算。科学。(EPTCS)190,31-45(2015;Zbl 1476.68170) 全文: arXiv公司 链接
卡洛斯·巴德(Carlos E.Budde)。;佩德罗·R·达吉尼奥。;佩德罗·桑切斯·特拉夫;尼科拉斯·沃尔维克 随机和非确定性连续系统的语义理论。 (英语) Zbl 1426.68188号 Remke,Anne(编辑)等人,《随机模型检验》。使用随机系统的模型检查技术进行严格的可靠性分析。2012年10月22日至26日,意大利瓦尔恩2012年ROCKS国际秋季学校。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8453, 67-86 (2014).MSC公司: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)。MSC公司:87年第68季度 68问题85 60J25型 PDF格式BibTeX公司 XML格式引用 \textit{P.R.D'Argenio}等人,《数学》。结构。计算。科学。22,第1号,第43--68条(2012;Zbl 1234.68316) 全文: 内政部 arXiv公司
佩德罗·达吉尼奥。;Joost-Pieter卡托恩 随机系统理论。一: 随机自动机。 (英语) Zbl 1105.68061号 Inf.计算。 203,第1期,1-38页(2005年)。MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.R.D'Argenio}和\textit{J.P.Katoen},Inf.Compute。203,第1号,1--38(2005;Zbl 1105.68061) 全文: 内政部
斯普林特维尔德,J。;Vaandrager,F。;达格尼奥,P.R。 测试定时自动机。 (英语) Zbl 0972.68104号 西奥。计算。科学。 254,编号1-2,225-257(2001)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Springintveld}等人,Theor。计算。科学。254,编号1--2,225-257(2001;Zbl 0972.68104) 全文: 内政部