Sfoglia per Autore
Mostrati risultati da 1 a 4 di 4
Refining and Compressing Abstract Model Checking
2001-01-01 Dovier, Agostino; Giacobazzi, Roberto; Quintarelli, Elisa
Interval-based Modelling with Constraints Propagation
2005-01-01 Dovier, Agostino; Farenzena, Michela; Fusiello, Andrea
Reconstruction with Interval Constraints Propagation
2006-01-01 Farenzena, Michela; Fusiello, Andrea; Dovier, Agostino
Fondamenti dell'informatica. Linguaggi formali, calcolabilità e complessità
2020-01-01 Dovier, Agostino; Giacobazzi, Roberto
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Refining and Compressing Abstract Model Checking | 1-gen-2001 | Dovier, Agostino; Giacobazzi, Roberto; Quintarelli, Elisa | |
Interval-based Modelling with Constraints Propagation | 1-gen-2005 | Dovier, Agostino; Farenzena, Michela; Fusiello, Andrea | |
Reconstruction with Interval Constraints Propagation | 1-gen-2006 | Farenzena, Michela; Fusiello, Andrea; Dovier, Agostino | |
Fondamenti dell'informatica. Linguaggi formali, calcolabilità e complessità | 1-gen-2020 | Dovier, Agostino; Giacobazzi, Roberto |
Mostrati risultati da 1 a 4 di 4
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile