W. S. Hsieh
According to our database1,
W. S. Hsieh
authored at least 5 papers
between 1991 and 2006.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2006
Proceedings of the 2006 ACM Symposium on Information, Computer and Communications Security, 2006
1992
EPVD: An interactive protocol specification and validation environment in Estelle formal specification.
Microprocess. Microprogramming, 1992
1991
Implementation and design of PVD: An interactive protocol specification and validation environment.
Microprocessing and Microprogramming, 1991
A fast method of protocol validation using reduced stable state exploration technique.
Microprocessing and Microprogramming, 1991