TOFANI, ALBERTO
TOFANI, ALBERTO
UNIVERSITA' DEGLI STUDI L'AQUILA
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Automatic generation of optimal controllers through model checking techniques | 1-gen-2006 | DELLA PENNA, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico |