DSpace at KOASAS
College of Engineering(공과대학)School of Computing(전산학부)CS-Journal Papers(저널논문)

Protocol trace analysis based on formal specifications, Formal Description Techniques

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 339
  • Download : 0
Export
DC FieldValueLanguage
dc.contributor.authorKim, Myungchulko
dc.contributor.authorSon T. Vuongko
dc.contributor.authorSamuel T. Chansonko
dc.date.accessioned2013-02-25T20:22:16Z-
dc.date.available2013-02-25T20:22:16Z-
dc.date.created2012-02-06-
dc.date.created2012-02-06-
dc.date.issued1992-01-
dc.identifier.citationFORMAL DESCRIPTION TECHNIQUES FOR DISTRIBUTED SYSTEMS AND COMMUNICATION PROTOCOLS, v.C-2, pp.393 - 408-
dc.identifier.urihttp://hdl.handle.net/10203/64990-
dc.languageEnglish-
dc.publisherNorth-Holland Publishing Co.-
dc.titleProtocol trace analysis based on formal specifications, Formal Description Techniques-
dc.typeArticle-
dc.type.rimsART-
dc.citation.volumeC-2-
dc.citation.beginningpage393-
dc.citation.endingpage408-
dc.citation.publicationnameFORMAL DESCRIPTION TECHNIQUES FOR DISTRIBUTED SYSTEMS AND COMMUNICATION PROTOCOLS-
dc.contributor.localauthorKim, Myungchul-
dc.contributor.nonIdAuthorSon T. Vuong-
dc.contributor.nonIdAuthorSamuel T. Chanson-
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.

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