Show simple item record

dc.contributor.advisorKendall, E. John M.
dc.contributor.advisorBirtwistle, Graham M.
dc.contributor.authorLiu, Ying
dc.date.accessioned2005-07-29T22:01:43Z
dc.date.available2005-07-29T22:01:43Z
dc.date.issued1995
dc.identifier.citationLiu, Y. (1995). AMULET1: specification and verification in CCS (Unpublished doctoral thesis). University of Calgary, Calgary, AB. doi:10.11575/PRISM/20741en_US
dc.identifier.isbn0612041875en
dc.identifier.urihttp://hdl.handle.net/1880/29591
dc.descriptionBibliography: p. 173-179.en
dc.format.extentxi, 179 leaves ; 30 cm.en
dc.language.isoeng
dc.rightsUniversity of Calgary graduate students retain copyright ownership and moral rights for their thesis. You may use this material in any way that is permitted by the Copyright Act or through licensing that has been assigned to the document. For uses that are not allowable under copyright legislation or licensing, you are required to seek permission.
dc.subject.lccTK 7868 A79 L575 1995en
dc.subject.lcshAsynchronous circuits - Design and construction
dc.subject.lcshDigital electronics
dc.subject.lcshIntegrated circuits - Very large scale integration
dc.titleAMULET1: specification and verification in CCS
dc.typedoctoral thesis
dc.publisher.institutionUniversity of Calgaryen
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/20741
thesis.degree.nameDoctor of Philosophy
thesis.degree.namePhD
thesis.degree.disciplineComputer Science
thesis.degree.grantorUniversity of Calgary
dc.identifier.lccTK 7868 A79 L575 1995en
dc.publisher.placeCalgaryen
ucalgary.thesis.notesoffsiteen
ucalgary.thesis.uarcreleaseyen
ucalgary.thesis.accessionTheses Collection 58.002:Box 986 520538296


Files in this item

Thumbnail
Embargoed until: 2999-01-01

This item appears in the following Collection(s)

Show simple item record

University of Calgary graduate students retain copyright ownership and moral rights for their thesis. You may use this material in any way that is permitted by the Copyright Act or through licensing that has been assigned to the document. For uses that are not allowable under copyright legislation or licensing, you are required to seek permission.