Unità didattica
Titolo del corso
Modelli della Concorrenza
Codice identificativo del corso
2223-1-F1801Q132-F1801Q132M
Esercizi sulla verifica della Bisimulazione - da svolgere
Aggregazione dei criteri
Per visualizzare il file, fai click su questo link: es_da_svolgere_bisimulazione.pdf