A formal approach to the analysis and design of communications protocols

Bibliographic Details
Main Author:	Curran, Phillip
Published:	Queen Mary, University of London 2000
Subjects:	621.382
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.393161

id	ndltd-bl.uk-oai-ethos.bl.uk-393161
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-3931612017-01-20T15:26:56ZA formal approach to the analysis and design of communications protocolsCurran, Phillip2000621.382Queen Mary, University of Londonhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.393161Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	621.382
spellingShingle	621.382 Curran, Phillip A formal approach to the analysis and design of communications protocols
author	Curran, Phillip
author_facet	Curran, Phillip
author_sort	Curran, Phillip
title	A formal approach to the analysis and design of communications protocols
title_short	A formal approach to the analysis and design of communications protocols
title_full	A formal approach to the analysis and design of communications protocols
title_fullStr	A formal approach to the analysis and design of communications protocols
title_full_unstemmed	A formal approach to the analysis and design of communications protocols
title_sort	formal approach to the analysis and design of communications protocols
publisher	Queen Mary, University of London
publishDate	2000
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.393161
work_keys_str_mv	AT curranphillip aformalapproachtotheanalysisanddesignofcommunicationsprotocols AT curranphillip formalapproachtotheanalysisanddesignofcommunicationsprotocols
_version_	1718409182619631616

Similar Items