An environment for the verification and code generation of temporal rules
By: G. Andrianopoulos ; supervised by B. Theodoulodis.
Contributors: Theodoulodis, B.; Computation.
Publisher: UMIST
Published: 1993
Place of publication: Manchester
Language: eng
Notes: Thesis Number: 10630.

M.Sc.