Intelligent Modeling and Verification 2014

• Guiming Luo,
• Xiaoyu Song,
• Xiaojing Yang,
• Krishnaiyan Thulasiraman

Affiliations

Guiming Luo

School of Software, Tsinghua University, Beijing 100084, China

Xiaoyu Song

Maseeh College of Electrical and Computer Engineering, Portland State University, P.O. Box 751, Portland, OR 97207, USA

Xiaojing Yang

Department of Mathematical Sciences, Tsinghua University, Beijing 100084, China

Krishnaiyan Thulasiraman

School of Computer Science, University of Oklahoma, 200 Felgar Street, Room 114, Norman, OK 73019, USA