Toggle Main Menu Toggle Search

Open Access padlockePrints

STRIDE: A Tool for Formal Interactive Systems Synthesis

Lookup NU author(s): Dr Frank Burns, Professor David Kinniment, Dr Albert Koelmans


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Burns FP, Kinniment DJ, Koelmans AM

Publication type: Article

Publication status: Published

Journal: IEE Proceedings - Computers and Digital Techniques

Year: 1994

Volume: 141

Issue: 6

Pages: 347-355

Print publication date: 01/01/1994

ISSN (print): 1350-2387

Publisher: Institution of Electrical Engineers (IEE)