Item Details

Finite Models of Cyclic Concurrent Programs

OHallaron, David; Reynolds, Paul
Format
Report
Author
OHallaron, David
Reynolds, Paul
Language
English
Date Received
20121029
Published
University of Virginia, Department of Computer Science, 1985
Published Date
1985
Collection
Libra Open Repository
Logo for In CopyrightIn Copyright

Availability

Access Online