NDLTD Global ETD Search
New Search
Return to search
Temporal logic specification and verification of communication protocols
No description available.
Links & Downloads
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.378819
Tags
621.3822
Network protocol verification
Additional Fields
Identifer
oai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:378819
Date
January 1987
Creators
Jin, S.
Publisher
University of Manchester
Source Sets
Ethos UK
Detected Language
English
Type
Electronic Thesis or Dissertation
Page generated in 0.0021 seconds