Toggle Main Menu Toggle Search

Open Access padlockePrints

Combining CSP and Temporal Logic

Lookup NU author(s): Dr Jeremy Bryans


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

Publication metadata

Author(s): Pearson J, Bryans J

Publication type: Article

Publication status: Published

Journal: Proceedings of the Estonian Academy of Science

Year: 1998

Volume: 4

Issue: 2

Pages: 130-137

ISSN (print): 1736-6046

ISSN (electronic): 1736-7530

Publisher: Teaduste Akadeemia Kirjastus