Lanciani, Roberta
Lanciani, Roberta
I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.0 secondi).
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Stochastic Approximations in Model Checking: A New Scalable Approach to Collective Systems Verification | 1-gen-2017 | Lanciani, Roberta |