Gilberto Matos

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