DSpace at KOASAS
College of Engineering(공과대학)School of Computing(전산학부)CS-Conference Papers(학술회의논문)

Applying Model Checking to Concurrent Object-Oriented Software

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 849
  • Download : 597
Export
DC FieldValueLanguage
dc.contributor.authorCho, Seung Mo-
dc.contributor.authorBae, Doo-Hwan-
dc.contributor.authorCha, Sungdeok-
dc.contributor.authorKim, Yuoung Gon-
dc.contributor.authorYoo, Byung Kyu-
dc.contributor.authorKim, Sang Taek-
dc.date.accessioned2009-12-29T02:31:43Z-
dc.date.available2009-12-29T02:31:43Z-
dc.date.created2012-02-06-
dc.date.issued1999-03-
dc.identifier.citationFourth International Symposium on AUtonomous Decentralized Systems, v., no., pp.380 - 383-
dc.identifier.urihttp://hdl.handle.net/10203/15973-
dc.description.sponsorshipThis research was sponsored in part by the Multimedia Research Lab., Korea Telecomen
dc.languageENG-
dc.language.isoen_USen
dc.publisherIEEE-
dc.titleApplying Model Checking to Concurrent Object-Oriented Software-
dc.typeConference-
dc.type.rimsCONF-
dc.citation.beginningpage380-
dc.citation.endingpage383-
dc.citation.publicationnameFourth International Symposium on AUtonomous Decentralized Systems-
dc.identifier.conferencecountryJapan-
dc.identifier.conferencecountryJapan-
dc.contributor.localauthorBae, Doo-Hwan-
dc.contributor.localauthorCha, Sungdeok-
dc.contributor.nonIdAuthorCho, Seung Mo-
dc.contributor.nonIdAuthorKim, Yuoung Gon-
dc.contributor.nonIdAuthorYoo, Byung Kyu-
dc.contributor.nonIdAuthorKim, Sang Taek-
Appears in Collection
CS-Conference Papers(학술회의논문)
Files in This Item
Applying Model Checking to Concurrent Object-Or...(150 kB)Download

Display Simple Item Record

qr_code

  • mendeley

    citeulike

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


rss_1.0 rss_2.0 atom_1.0