Please use this identifier to cite or link to this item: http://hdl.handle.net/1880/29591
Title: AMULET1 : specification and verification in CCS
Authors: Liu, Ying
Issue Date: 1995
Publisher: Computer Science, University of Calgary
Description: Bibliography: p. 173-179.
UARC
URI: http://hdl.handle.net/1880/29591
ISBN: 0612041875
Appears in Collections:University of Calgary Theses

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.