Table of Contents Author Guidelines Submit a Manuscript

Intelligent Modeling and Verification 2014

Guest Editors: Guiming Luo, Xiaoyu Song, Xiaojing Yang, and Krishnaiyan Thulasiraman