Dipartimento di Informatica
Follow us
Professor
Verifica dei Programmi Concorrenti - LM18
Petri nets, stochastic verification
See my calendar