BRAGETTI, DAVIDE
BRAGETTI, DAVIDE
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
Mostra
prodotti
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.001 secondi).
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| The Intersection Algebra of Safety, Cosafety, Liveness, and Coliveness over Linear Temporal Logic | 2026 | Bragetti, Davide |