DC Field | Value | Language |
---|---|---|
dc.contributor.author | Yun, Jeong-Han | - |
dc.contributor.author | Kim, Chul-Joo | - |
dc.contributor.author | Seo, Sunae | - |
dc.contributor.author | Han, Taisook | - |
dc.contributor.author | Choe, Kwang-Moo | - |
dc.date.accessioned | 2010-02-03T05:14:12Z | - |
dc.date.available | 2010-02-03T05:14:12Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2009-07-13 | - |
dc.identifier.citation | 2009 7th IEEE-ACM International Conference on Formal Methods and Models for Co-Design, MEMOCODE '09, v., no., pp.18 - 27 | - |
dc.identifier.uri | http://hdl.handle.net/10203/16445 | - |
dc.description.sponsorship | This research was supported by the MKE(Ministry of Knowledge Economy), Korea, under the ITRC(Information Technology Research Center) Support program supervised by the IITA(Institute of Information Technology Advancement) (IITA-2009-C1090-0902-0020) and the Engineering Research Center of Excellence Program of Korea Ministry of Education, Science and Technology(MEST) / Korea Science and Engineering Foundation(KOSEF), grant number R11- 2008-007-02004-0. | en |
dc.language | ENG | - |
dc.language.iso | en_US | en |
dc.publisher | IEEE | - |
dc.title | Refining schizophrenia via graph reachability in esterel | - |
dc.type | Conference | - |
dc.identifier.scopusid | 2-s2.0-70449477645 | - |
dc.type.rims | CONF | - |
dc.citation.beginningpage | 18 | - |
dc.citation.endingpage | 27 | - |
dc.citation.publicationname | 2009 7th IEEE-ACM International Conference on Formal Methods and Models for Co-Design, MEMOCODE '09 | - |
dc.identifier.conferencecountry | United States | - |
dc.identifier.conferencecountry | United States | - |
dc.contributor.localauthor | Han, Taisook | - |
dc.contributor.localauthor | Choe, Kwang-Moo | - |
dc.contributor.nonIdAuthor | Yun, Jeong-Han | - |
dc.contributor.nonIdAuthor | Kim, Chul-Joo | - |
dc.contributor.nonIdAuthor | Seo, Sunae | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.