HE, FEI
HE, FEI
DIPARTIMENTO DI ELETTRONICA E INFORMAZIONE (attivo dal 01/01/1900 al 31/12/2012)
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.0 secondi).
| Titolo | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata | 1-gen-2007 | BARESI, LUCIANOGHEZZI, CARLOHE, FEISPOLETINI, PAOLA |