AMULET1: specification and verification in CCS

Files
ucalgary_1995_liu_ying_599451.pdf (6.64 MB)
Date
1995
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Bibliography: p. 173-179.
Keywords
Citation
Liu, Y. (1995). AMULET1: specification and verification in CCS (Doctoral thesis, University of Calgary, Calgary, Canada). Retrieved from https://prism.ucalgary.ca. doi:10.11575/PRISM/20741
URI
http://hdl.handle.net/1880/29591
Collections
Legacy Theses