ePrints

STRIDE: A Tool for Formal Interactive Systems Synthesis

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

Downloads

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)

Share