NDLTD Global ETD Search
Return to search

Formal specification and analysis of digital hardware circuits in LOTOS

No description available.
Links & Downloads
  1. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.322097
Tags
005
Additional Fields
Identiferoai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:322097
Date January 2000
CreatorsHe, Ji
PublisherUniversity of Stirling
Source SetsEthos UK
Detected LanguageEnglish
TypeElectronic Thesis or Dissertation

Page generated in 0.0643 seconds