Item Details

Print View

Assured Reconfiguration: Specification, Proofs, and Example

Strunk, Elisabeth; Yin, Xiang
Format
Report
Author
Strunk, Elisabeth
Yin, Xiang
Language
English
Date Received
2012-10-29
Published
University of Virginia, Department of Computer Science, 2005
Published Date
2005
Rights
All rights reserved (no additional license for public reuse)
Collection
Libra Open Repository

Availability

Access Online