ePrints

Using Rewriting Logic to implement the modal logic FULL

Lookup NU author(s): Dr Jeremy Bryans

Downloads

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

Publication metadata

Author(s): Bryans J, Verdejo A, Shankland C

Editor(s): Nowak, D.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 1st Workshop on Automated Verification of Critical Systems (AVoCS)

Year of Conference: 2001

Publisher: Oxford University Computing Laboratory

Series Title: OUCL Technical Reports

Share