Per visualizzare il file, fai click su questo link: soluzioni_esercitazione_bisimulazione.pdf