ETCH: An enhanced type checking tool for promela

Donaldson, A. and Gay, S. (2005) ETCH: An enhanced type checking tool for promela. Model Checking Software, Proceedings, 3639, pp. 266-271.

Full text not currently available from Enlighten.


Item Type:Articles
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Gay, Professor Simon
Authors: Donaldson, A., and Gay, S.
College/School:College of Science and Engineering > School of Computing Science
Journal Name:Model Checking Software, Proceedings

University Staff: Request a correction | Enlighten Editors: Update this record