Hong Liu

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