DC Field | Value | Language |
---|---|---|
dc.contributor.author | Cho, S.M. | - |
dc.contributor.author | Kim, H.H. | - |
dc.contributor.author | Cha, S.D. | - |
dc.contributor.author | Bae, D.H. | - |
dc.contributor.author | Shin, Sung-Chul | - |
dc.date.accessioned | 2013-03-17T23:39:22Z | - |
dc.date.available | 2013-03-17T23:39:22Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2004-11 | - |
dc.identifier.citation | 49th Conference on Magnetism and Magnetic Materials, v.148, no.4, pp.135 - 140 | - |
dc.identifier.issn | 1462-5970 | - |
dc.identifier.uri | http://hdl.handle.net/10203/142898 | - |
dc.language | ENG | - |
dc.publisher | MMM | - |
dc.title | Specification and validation of dynamic systems using temporal logic | - |
dc.type | Conference | - |
dc.identifier.scopusid | 2-s2.0-0035416057 | - |
dc.type.rims | CONF | - |
dc.citation.volume | 148 | - |
dc.citation.issue | 4 | - |
dc.citation.beginningpage | 135 | - |
dc.citation.endingpage | 140 | - |
dc.citation.publicationname | 49th Conference on Magnetism and Magnetic Materials | - |
dc.identifier.conferencecountry | United States | - |
dc.identifier.conferencecountry | United States | - |
dc.contributor.localauthor | Shin, Sung-Chul | - |
dc.contributor.nonIdAuthor | Cho, S.M. | - |
dc.contributor.nonIdAuthor | Kim, H.H. | - |
dc.contributor.nonIdAuthor | Cha, S.D. | - |
dc.contributor.nonIdAuthor | Bae, D.H. | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.