Balasso, Giovanni and Giacobazzi, Roberto (rel.) and Laudanna, Carlo (correl.) (2003) [BM Tesi I 0273]. - Metodi formali per l'analisi di sistemi biochimici. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.