Intelligent Modeling and Verification 2014

GuiMing Luo, Xiaoyu Song, Xiaojing Yang, Krishnaiyan Thulasiraman. Intelligent Modeling and Verification 2014. J. Applied Mathematics, 2014, 2014. [doi]

Abstract

Abstract is missing.