我要吃瓜

Conference Paper (published)

Implementing the modal logic FULL using Ergo

Details

Citation

Robinson P & Shankland C (2001) Implementing the modal logic FULL using Ergo. 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. http://www.cs.ox.ac.uk/techreports/oucl/rr-01-07.html

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
Publisher URL
Place of publicationOxford
ConferenceAVoCS'01: Workshop on Automated Verification of Critical Systems
Conference locationOxford
Dates