Unità didattica
Course full name
Concurrent Models
Course ID number
2223-1-F1801Q132-F1801Q132M
slide sulla Bisimulazione debole e il gioco per verificarla
Click Bisimulazione debole - slide.pdf link to view the file.