Gilberto Matos

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