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.001 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 |