Items where Author is "Peng, Hong"

Article

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

Thesis

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