Accessibility navigation

Rippling in PVS

Lists
Tools

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: http://research.nianet.org/fm-at-nia/STRATA2003/NA...


Item Type:Book or Report Section
Refereed:Yes
Divisions:Science
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
Publisher:NASA
Related URLs
Deposit Details

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

Page navigation

See also