File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

postgraduate thesis: Interval logic and modified labelled-net for system specificationand verification

TitleInterval logic and modified labelled-net for system specificationand verification
Authors
Issue Date1985
PublisherThe University of Hong Kong (Pokfulam, Hong Kong)
Citation
Chiu, P. P. [趙炳權]. (1985). Interval logic and modified labelled-net for system specificationand verification. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3120683
DegreeMaster of Philosophy
SubjectSystem analysis - Computer programs.
Dept/ProgramElectrical Engineering

 

DC FieldValueLanguage
dc.contributor.authorChiu, Ping-kuen, Peter.-
dc.contributor.author趙炳權-
dc.date.issued1985-
dc.identifier.citationChiu, P. P. [趙炳權]. (1985). Interval logic and modified labelled-net for system specificationand verification. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3120683-
dc.languageeng-
dc.publisherThe University of Hong Kong (Pokfulam, Hong Kong)-
dc.relation.ispartofHKU Theses Online (HKUTO)-
dc.rightsThe author retains all proprietary rights, (such as patent rights) and the right to use in future works.-
dc.rightsCreative Commons: Attribution 3.0 Hong Kong License-
dc.source.urihttp://hub.hku.hk/bib/B31206839-
dc.subject.lcshSystem analysis - Computer programs.-
dc.titleInterval logic and modified labelled-net for system specificationand verification-
dc.typePG_Thesis-
dc.identifier.hkulb3120683-
dc.description.thesisnameMaster of Philosophy-
dc.description.thesislevelMaster-
dc.description.thesisdisciplineElectrical Engineering-
dc.description.naturepublished_or_final_version-
dc.identifier.doi10.5353/th_b3120683-
dc.date.hkucongregation1985-

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats