Item Details

Assured Reconfiguration: Specification, Proofs, and Example

Strunk, Elisabeth; Yin, Xiang
Format
Report
Author
Strunk, Elisabeth
Yin, Xiang
Language
English
Date Received
20121029
Published
University of Virginia, Department of Computer Science, 2005
Published Date
2005
Collection
Libra Open Repository
Logo for In CopyrightIn Copyright

Availability

Access Online