Bo-Shoe Chen

Graduation Year: 
1982
Dissertation: 
Event-based specification and verification of distributed systems