Author Info
Name
Affiliation
Papers
T. S. NAIN
Department of Electrical Engineering National Sun Yat-Sen University, Kaohsiung, Taiwan, R.O.C.
3
Collaborators
Citations 
PageRank 
7
2
1.16
Referers 
Referees 
References 
5
27
14
Title
Citations
PageRank
Year
EPVD: An interactive protocol specification and validation environment in Estelle formal specification00.341992
Implementation and design of PVD: An interactive protocol specification and validation environment10.411991
A fast method of protocol validation using reduced stable state exploration technique10.411991