Items where Author is "Peng, Hong"

Peng, Hong, Tahar, Sofiène and Khendek, Ferhat (2003) Comparison of SPIN and VIS for protocol verification. International Journal on Software Tools for Technology Transfer (STTT), 4 (2). pp. 234-245. ISSN 1433-2779

Peng, Hong (2002) Improving compositional verification through environment synthesis and syntactic model reduction. PhD thesis, Concordia University.