Accessibility navigation

Rippling in PVS

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.

Full text not archived in this repository.

It is advisable to refer to the publisher's version if you intend to cite from this work. See Guidance on citing.

Official URL:

Item Type:Book or Report Section
ID Code:21
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

University Staff: Request a correction | Centaur Editors: Update this record

Page navigation