Lists
Lists
Adams, 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://reading-clone.eprints-hosting.org/id/eprint/21 |
| Item Type | Book or Report Section |
| 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 |
Related URLs
Deposit Details
University Staff: Request a correction | Centaur Editors: Update this record
