Paolo Ballarini
Original record- Institution
- Università di Torino
- Year
- 2004
- Country
- Italy
- MGP identifier
- 147348
Dissertation: Towards Compositional CSL Model-Checking
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Jane HillstonThe University of Edinburgh · 1994
- Susanna DonatelliInstitution not recorded
Students 0
No students recorded in this snapshot.