| |
| 2009 | ||
|---|---|---|
| 2 | EE | Sergio Giro, Pedro R. D'Argenio: On the verification of probabilistic I/O automata with unspecified rates. SAC 2009: 582-586 |
| 2007 | ||
| 1 | EE | Sergio Giro, Pedro R. D'Argenio: Quantitative Model Checking Revisited: Neither Decidable Nor Approximable. FORMATS 2007: 179-194 |
| 1 | Pedro R. D'Argenio | [1] [2] |