Hong Liu

Graduation Year:
1996
Dissertation:
Automatic validation of multi-process communication protocols
Advisor(s):