Liliane D'Errico
Ph.D. Università degli Studi di Firenze 2010
Dissertation:
Assume-Guarantee Verification of Concurrent Systems
Advisor 1: Michele Loreti
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 298713 for the advisor ID.