Doctoral school
Professor
Verifica dei Programmi Concorrenti - LM18
Petri nets, stochastic verification