Bo-Shoe Chen

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