Bo-Shoe Chen

placeholder image for Bo-Shoe Chen
Graduation Year:
1982
Dissertation:
Event-based specification and verification of distributed systems