BIBLIOGRAFIA prodotta dal laboratorio
Lista di tutta la bibliografia
| |
Process Quality Assessment in automatic management of waste-water treatment plants using Formal Verification
|
Autori |
|
Luccarini L., Bragadin G.L., Mancini M.L., Mello P., Montali M., Sottara D.
Anno 2008
|
Tipologia |
|
Articolo Conferenza internazionale con referaggio
|
Referenza_Bibliografica |
|
Luccarini L., Bragadin G.L., Mancini M.L., Mello P., Montali M., Sottara D. Proceedings ANDIS-DICEA-IWA. International Symposium on Sanitary and Environmental Engineering-SIDISA 08. Florence (Italy). 24-27 june 2008. (vol. 1, pp. 152/1 - 152/8).ISBN:978-88-903557-0-7.
|
Unita di Ricerca |
|
TIGRI
|
LastUpdate |
|
18/04/2012
|
Topic di ricerca collegati
| |
|
impact factor |
|
Falso
|
|