| |
| 2007 | ||
|---|---|---|
| 2 | EE | Augusto Parma, Roberto Segala: Logical Characterizations of Bisimulations for Discrete Probabilistic Systems. FoSSaCS 2007: 287-301 |
| 2004 | ||
| 1 | EE | Augusto Parma, Roberto Segala: Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes. QEST 2004: 294-303 |
| 1 | Roberto Segala | [1] [2] |