Return to search

Interval logic and modified labelled-net for system specificationand verification /

Thesis--M. Phil., University of Hong Kong, 1985.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/52014288
Date January 1985
CreatorsChiu, Ping-kuen, Peter.
Publisher[Hong Kong] : University of Hong Kong,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceView the Table of Contents & Abstract.

Page generated in 0.0021 seconds