Bo-Shoe Chen

Graduation Year:
1982
Dissertation:
Event-based specification and verification of distributed systems
Advisor(s):
Raymond T. Yeh