Click soluzioni_esercitazione_bisimulazione.pdf link to view the file.