Accessibility navigation

Rippling in PVS

Tools

Adams, A. A. (2003) Rippling in PVS. In: Design and Application of Strategies/Tactics in Higher Order Logics STRATA 2003. (NASA/CP–2003–212448). NASA, Hanover, MD 21076–1320 USA, pp. 84-90.

Full text not archived in this repository.

Official URL: http://research.nianet.org/fm-at-nia/STRATA2003/NA...


Item Type:Book or Report Section
Refereed:Yes
Divisions:Faculty of Science > School of Systems Engineering
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
Deposit Details

Repository Staff Only: item control page

Page navigation

See also