Hong Liu

placeholder image for Hong Liu
Graduation Year:
1996
Dissertation:
Automatic validation of multi-process communication protocols