Return to search

Formal specification and verification of synchronous concurrent algorithms

No description available.
Identiferoai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:277609
Date January 1990
CreatorsHobley, Keith Michael
PublisherUniversity of Leeds
Source SetsEthos UK
Detected LanguageEnglish
TypeElectronic Thesis or Dissertation

Page generated in 0.0021 seconds