CIMMINO, stefano
CIMMINO, stefano
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 |
|---|---|---|---|
| A classification of total order specifications and its application to fixed sequencer-based implementations | 2006 | Baldoni, Roberto; Marchetti, Carlo; Cimmino, Stefano |