An initial investigation into the design of a asynchronous temporal logic for use in digital systemdesign.
Publisher: University of East Anglia
Published: 1991
Place of publication: Norwich
Language: eng
Notes: Thesis (M.Phil.), University of East Anglia, School of Information Systems, 1991.