Conference Paper (published)
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.
| Status | Published |
|---|---|
| Title of series | Oxford University Computing Laboratory technical report |
| Number in series | PRG-RR-01-07 |
| Publication date | 30/04/2001 |
| Publication date online | 30/04/2001 |
| Publisher | Oxford University |
| Publisher URL | http://www.cs.ox.ac.uk/techreports/oucl/rr-01-07.html |
| Place of publication | Oxford |
| Conference | AVoCS'01: Workshop on Automated Verification of Critical Systems |
| Conference location | Oxford |
| Dates | – |