Return to search

A compositional specification and verification of a concurrent engineering transaction processing system - CETRAPS

No description available.
Identiferoai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:400105
Date January 2002
CreatorsMangena, Sikhulumani Bayeza
PublisherUniversity of Warwick
Source SetsEthos UK
Detected LanguageEnglish
TypeElectronic Thesis or Dissertation

Page generated in 0.0018 seconds