ePrints

A failures semantics for ET-LOTOS

Lookup NU author(s): Dr Jeremy Bryans

Downloads

Full text is not currently available for this publication.

Publication metadata

Author(s): Schneider S, Bryans J, Davies J

Publication type: Report

Publication status: Published

Series Title:

Year: 1994

Institution: Reading University

Place Published: Reading, UK

Share