Download
DownloadAdams, A. A. (2003) Rippling in PVS. In: Design and Application of Strategies/Tactics in Higher Order Logics STRATA 2003. (NASA/CP–20). NASA, Hanover, MD 21076–1320 USA, pp. 84-90.
| Additional Information | Proceedings of a workshop sponsored by the Naval Research Laboratory, the National Aeronautics and Space Administration, and the National Institute of Aerospace and held in Rome, Italy September 8, 2003 |
| Item Type | Book or Report Section |
| URI | https://centaur.reading.ac.uk/id/eprint/21 |
| Refereed | Yes |
| Divisions | Science |
| Additional Information | Proceedings of a workshop sponsored by the Naval Research Laboratory, the National Aeronautics and Space Administration, and the National Institute of Aerospace and held in Rome, Italy September 8, 2003 |
| Publisher | NASA |
| Download/View statistics | View download statistics for this item |
Download
Full text not archived in this repository.
Tools
Advice
Please see our End User Agreement.
It is advisable to refer to the publisher's version if you intend to cite from this work. See Guidance on citing.
Lists
Related URLs
Deposit Details
University Staff: Request a correction | Centaur Editors: Update this record