Return to search

Towards a new extension relation for compositional test case generation for CSP concurrent processes

published_or_final_version / Computer Science and Information Systems / Doctoral / Doctor of Philosophy

  1. 10.5353/th_b3124518
  2. b3124518
Identiferoai:union.ndltd.org:HKU/oai:hub.hku.hk:10722/50818
Date January 2003
CreatorsChan, Wing-kwong., 陳榮光.
PublisherThe University of Hong Kong (Pokfulam, Hong Kong)
Source SetsHong Kong University Theses
LanguageEnglish
Detected LanguageEnglish
TypePG_Thesis
Sourcehttp://hub.hku.hk/bib/B31245183
RightsThe author retains all proprietary rights, (such as patent rights) and the right to use in future works., Creative Commons: Attribution 3.0 Hong Kong License
RelationHKU Theses Online (HKUTO)

Page generated in 0.0024 seconds