Bo-Shoe Chen

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