NDLTD Global ETD Search
New Search
Return to search
Data independent induction : CSP model checking or arbitary sized networks
No description available.
Links & Downloads
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.249583
Tags
005
Formal methods
Additional Fields
Identifer
oai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:249583
Date
January 2001
Creators
Creese, S. J.
Publisher
University of Oxford
Source Sets
Ethos UK
Detected Language
English
Type
Electronic Thesis or Dissertation
Page generated in 6.0066 seconds