MELANI, BEATRICE
MELANI, BEATRICE
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.001 secondi).
| Titolo | Data di pubblicazione | Autori | File |
|---|---|---|---|
| A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators | 1-gen-2025 | Melani, BeatriceChiari, Michele + |