DC Field | Value | Language |
---|---|---|
dc.contributor.author | Cho, Seung Mo | - |
dc.contributor.author | Bae, Doo-Hwan | - |
dc.contributor.author | Cha, Sungdeok | - |
dc.contributor.author | Kim, Yuoung Gon | - |
dc.contributor.author | Yoo, Byung Kyu | - |
dc.contributor.author | Kim, Sang Taek | - |
dc.date.accessioned | 2009-12-29T02:31:43Z | - |
dc.date.available | 2009-12-29T02:31:43Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 1999-03 | - |
dc.identifier.citation | Fourth International Symposium on AUtonomous Decentralized Systems, v., no., pp.380 - 383 | - |
dc.identifier.uri | http://hdl.handle.net/10203/15973 | - |
dc.description.sponsorship | This research was sponsored in part by the Multimedia Research Lab., Korea Telecom | en |
dc.language | ENG | - |
dc.language.iso | en_US | en |
dc.publisher | IEEE | - |
dc.title | Applying Model Checking to Concurrent Object-Oriented Software | - |
dc.type | Conference | - |
dc.type.rims | CONF | - |
dc.citation.beginningpage | 380 | - |
dc.citation.endingpage | 383 | - |
dc.citation.publicationname | Fourth International Symposium on AUtonomous Decentralized Systems | - |
dc.identifier.conferencecountry | Japan | - |
dc.identifier.conferencecountry | Japan | - |
dc.contributor.localauthor | Bae, Doo-Hwan | - |
dc.contributor.localauthor | Cha, Sungdeok | - |
dc.contributor.nonIdAuthor | Cho, Seung Mo | - |
dc.contributor.nonIdAuthor | Kim, Yuoung Gon | - |
dc.contributor.nonIdAuthor | Yoo, Byung Kyu | - |
dc.contributor.nonIdAuthor | Kim, Sang Taek | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.