PARMA, Augusto
PARMA, Augusto
DIPARTIMENTO DI BIOTECNOLOGIE (attivo dal 01/07/1998 al 30/04/2010)
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.003 secondi).
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes | 1-gen-2004 | Parma, Augusto; Segala, Roberto | |
| Logical Characterizations of Bisimulations for Discrete Probabilistic Systems | 1-gen-2007 | Parma, Augusto; Segala, Roberto |