Intelligent Modeling and Verification
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2013-01-01
|
| Series: | Journal of Applied Mathematics |
| Online Access: | http://dx.doi.org/10.1155/2013/791363 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850220388473110528 |
|---|---|
| author | Guiming Luo Graziano Chesi Xiaoyu Song Xiaojing Yang |
| author_facet | Guiming Luo Graziano Chesi Xiaoyu Song Xiaojing Yang |
| author_sort | Guiming Luo |
| collection | DOAJ |
| format | Article |
| id | doaj-art-7ac25a46d0174a4985d249bd775459ff |
| institution | OA Journals |
| issn | 1110-757X 1687-0042 |
| language | English |
| publishDate | 2013-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | Journal of Applied Mathematics |
| spelling | doaj-art-7ac25a46d0174a4985d249bd775459ff2025-08-20T02:07:05ZengWileyJournal of Applied Mathematics1110-757X1687-00422013-01-01201310.1155/2013/791363791363Intelligent Modeling and VerificationGuiming Luo0Graziano Chesi1Xiaoyu Song2Xiaojing Yang3School of Software, Tsinghua University, Beijing 100084, ChinaDepartment of Electrical and Electronic Engineering, University of Hong Kong, Pokfulam Road, Hong KongMaseeh College of Electrical and Computer Engineering, Portland State University, P.O. Box 751, Portland, OR 97207, USADepartment of Mathematical Sciences, Tsinghua University, Beijing 100084, Chinahttp://dx.doi.org/10.1155/2013/791363 |
| spellingShingle | Guiming Luo Graziano Chesi Xiaoyu Song Xiaojing Yang Intelligent Modeling and Verification Journal of Applied Mathematics |
| title | Intelligent Modeling and Verification |
| title_full | Intelligent Modeling and Verification |
| title_fullStr | Intelligent Modeling and Verification |
| title_full_unstemmed | Intelligent Modeling and Verification |
| title_short | Intelligent Modeling and Verification |
| title_sort | intelligent modeling and verification |
| url | http://dx.doi.org/10.1155/2013/791363 |
| work_keys_str_mv | AT guimingluo intelligentmodelingandverification AT grazianochesi intelligentmodelingandverification AT xiaoyusong intelligentmodelingandverification AT xiaojingyang intelligentmodelingandverification |