Contact person: Prof. Mirco Tribastone mirco.tribastone@imtlucca.it
Markov chains;
Differential equations;
Abstraction Techniques.