Dipartimento di Informatica
Professore/Professoressa ordinario/a
Petri nets, stochastic verification