Refining schizophrenia via graph reachability in esterel

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 452
  • Download : 646
DC FieldValueLanguage
dc.contributor.authorYun, Jeong-Han-
dc.contributor.authorKim, Chul-Joo-
dc.contributor.authorSeo, Sunae-
dc.contributor.authorHan, Taisook-
dc.contributor.authorChoe, Kwang-Moo-
dc.date.accessioned2010-02-03T05:14:12Z-
dc.date.available2010-02-03T05:14:12Z-
dc.date.created2012-02-06-
dc.date.issued2009-07-13-
dc.identifier.citation2009 7th IEEE-ACM International Conference on Formal Methods and Models for Co-Design, MEMOCODE '09, v., no., pp.18 - 27-
dc.identifier.urihttp://hdl.handle.net/10203/16445-
dc.description.sponsorshipThis 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.languageENG-
dc.language.isoen_USen
dc.publisherIEEE-
dc.titleRefining schizophrenia via graph reachability in esterel-
dc.typeConference-
dc.identifier.scopusid2-s2.0-70449477645-
dc.type.rimsCONF-
dc.citation.beginningpage18-
dc.citation.endingpage27-
dc.citation.publicationname2009 7th IEEE-ACM International Conference on Formal Methods and Models for Co-Design, MEMOCODE '09-
dc.identifier.conferencecountryUnited States-
dc.identifier.conferencecountryUnited States-
dc.contributor.localauthorHan, Taisook-
dc.contributor.localauthorChoe, Kwang-Moo-
dc.contributor.nonIdAuthorYun, Jeong-Han-
dc.contributor.nonIdAuthorKim, Chul-Joo-
dc.contributor.nonIdAuthorSeo, Sunae-

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0