Browse by author
Lookup NU author(s): Dr Stephen Paynter
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Author(s): Paynter SE
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Practical Application of Formal Methods Colloquium
Year of Conference: 1995
Pages: 1-3
Publisher: IEE
URL: http://ieeexplore.ieee.org/search/srchabstract.jsp?tp=&arnumber=477885
Series Title: IEE Colloquium Digest 1995/109