TURRINI, Andrea
TURRINI, Andrea
DIPARTIMENTO DI INFORMATICA (attivo dal 01/07/2001 al 30/04/2010)
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.001 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Approximated Computationally Bounded Simulation Relations for Probabilistic Automata | 1-gen-2007 | Segala, Roberto; Turrini, Andrea | |
Conditional Automata: A Tool for Safe Removal of Negligible Events | 1-gen-2010 | Segala, Roberto; Turrini, Andrea |