(agg. 8/1/10)
Appunti del corso redatti da Umberto Monile (riveduti)
Collezione di
slides su algoritmi distribuiti
Collezione di slides su model checking
Slides su Automi di BŸchi Etichettati & Model Checking LTL
Links utili a materiale interessante