Gilberto Matos

Photo of Gilberto Matos
Graduation Year:
1998
Dissertation:
Analysis and applications of receptive safety properties in concurrent systems
Advisor(s):