Intelligent Modeling and Verification 2014
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2014-01-01
|
| Series: | Journal of Applied Mathematics |
| Online Access: | http://dx.doi.org/10.1155/2014/632027 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849411146647339008 |
|---|---|
| author | Guiming Luo Xiaoyu Song Xiaojing Yang Krishnaiyan Thulasiraman |
| author_facet | Guiming Luo Xiaoyu Song Xiaojing Yang Krishnaiyan Thulasiraman |
| author_sort | Guiming Luo |
| collection | DOAJ |
| format | Article |
| id | doaj-art-619e5d3366314d00a277ca5f54b82809 |
| institution | Kabale University |
| issn | 1110-757X 1687-0042 |
| language | English |
| publishDate | 2014-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | Journal of Applied Mathematics |
| spelling | doaj-art-619e5d3366314d00a277ca5f54b828092025-08-20T03:34:52ZengWileyJournal of Applied Mathematics1110-757X1687-00422014-01-01201410.1155/2014/632027632027Intelligent Modeling and Verification 2014Guiming Luo0Xiaoyu Song1Xiaojing Yang2Krishnaiyan Thulasiraman3School of Software, Tsinghua University, Beijing 100084, ChinaMaseeh College of Electrical and Computer Engineering, Portland State University, P.O. Box 751, Portland, OR 97207, USADepartment of Mathematical Sciences, Tsinghua University, Beijing 100084, ChinaSchool of Computer Science, University of Oklahoma, 200 Felgar Street, Room 114, Norman, OK 73019, USAhttp://dx.doi.org/10.1155/2014/632027 |
| spellingShingle | Guiming Luo Xiaoyu Song Xiaojing Yang Krishnaiyan Thulasiraman Intelligent Modeling and Verification 2014 Journal of Applied Mathematics |
| title | Intelligent Modeling and Verification 2014 |
| title_full | Intelligent Modeling and Verification 2014 |
| title_fullStr | Intelligent Modeling and Verification 2014 |
| title_full_unstemmed | Intelligent Modeling and Verification 2014 |
| title_short | Intelligent Modeling and Verification 2014 |
| title_sort | intelligent modeling and verification 2014 |
| url | http://dx.doi.org/10.1155/2014/632027 |
| work_keys_str_mv | AT guimingluo intelligentmodelingandverification2014 AT xiaoyusong intelligentmodelingandverification2014 AT xiaojingyang intelligentmodelingandverification2014 AT krishnaiyanthulasiraman intelligentmodelingandverification2014 |