Table of Contents Author Guidelines Submit a Manuscript
Journal of Applied Mathematics
Volume 2013 (2013), Article ID 791363, 2 pages
http://dx.doi.org/10.1155/2013/791363
Editorial

Intelligent Modeling and Verification

1School of Software, Tsinghua University, Beijing 100084, China
2Department of Electrical and Electronic Engineering, University of Hong Kong, Pokfulam Road, Hong Kong
3Maseeh College of Electrical and Computer Engineering, Portland State University, P.O. Box 751, Portland, OR 97207, USA
4Department of Mathematical Sciences, Tsinghua University, Beijing 100084, China

Received 27 August 2013; Accepted 27 August 2013

Copyright © 2013 Guiming Luo et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to Cite this Article

Guiming Luo, Graziano Chesi, Xiaoyu Song, and Xiaojing Yang, “Intelligent Modeling and Verification,” Journal of Applied Mathematics, vol. 2013, Article ID 791363, 2 pages, 2013. doi:10.1155/2013/791363