Conference Proceeding

Using Rewriting Logic to implement the modal logic FULL

Details

Citation

Bryans J, Verdejo A & Shankland C (2001) Using Rewriting Logic to implement the modal logic FULL. In: Nowak D (ed.) Proceedings of the Workshop on Automated Verification of Critical Systems (AVOCS'01). Oxford University Computing Laboratory technical report, PRG-RR-01-07. AVoCS'01: Workshop on Automated Verification of Critical Systems, Oxford, 19.04.2001-21.04.2001. Oxford: Oxford University.

Notes
Also appeared in Proceedings of AVIS'01: First International Workshop on Automated Verification of Infinite-State Systems, published as a Naval Reseach Laboratory Technical Memorandum, Mar 2001.

StatusPublished
Title of seriesOxford University Computing Laboratory technical report
Number in seriesPRG-RR-01-07
Publication date30/04/2001
Publication date online30/04/2001
PublisherOxford University
Place of publicationOxford
ConferenceAVoCS'01: Workshop on Automated Verification of Critical Systems
Conference locationOxford
Dates–