Protocol trace analysis based on formal specifications, Formal Description Techniques

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 248
  • Download : 0
Publisher
North-Holland Publishing Co.
Issue Date
1992-01
Language
English
Citation

FORMAL DESCRIPTION TECHNIQUES FOR DISTRIBUTED SYSTEMS AND COMMUNICATION PROTOCOLS, v.C-2, pp.393 - 408

URI
http://hdl.handle.net/10203/64990
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0