DC Field | Value | Language |
---|---|---|
dc.contributor.author | Hong, K.J. | ko |
dc.contributor.author | Kim, Tag-Gon | ko |
dc.date.accessioned | 2009-12-09T08:36:39Z | - |
dc.date.available | 2009-12-09T08:36:39Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2001-10-07 | - |
dc.identifier.citation | 2001 IEEE International Conference on Systems, Man and Cybernetics, pp.3057 - 3062 | - |
dc.identifier.issn | 0884-3627 | - |
dc.identifier.uri | http://hdl.handle.net/10203/14484 | - |
dc.language | English | - |
dc.language.iso | en_US | en |
dc.publisher | IEEE | - |
dc.title | Discrete event model verification using system morphism | - |
dc.type | Conference | - |
dc.identifier.wosid | 000177404200539 | - |
dc.identifier.scopusid | 2-s2.0-0035719765 | - |
dc.type.rims | CONF | - |
dc.citation.beginningpage | 3057 | - |
dc.citation.endingpage | 3062 | - |
dc.citation.publicationname | 2001 IEEE International Conference on Systems, Man and Cybernetics | - |
dc.identifier.conferencecountry | US | - |
dc.identifier.conferencelocation | Tucson, AZ | - |
dc.embargo.liftdate | 9999-12-31 | - |
dc.embargo.terms | 9999-12-31 | - |
dc.contributor.localauthor | Kim, Tag-Gon | - |
dc.contributor.nonIdAuthor | Hong, K.J. | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.