Join Books.org — it's free
Home > Books > Partial Order Methods in Verification: Workshop on Partial Order Methods in Verification, July 24-26, 1996, Princeton University

Quality Control & Testing - Programming, Parallel, Distributed, and Supercomputing
Partial Order Methods in Verification: Workshop on Partial Order Methods in Verification, July 24-26, 1996, Princeton University by Artial Order Methods in Verification Staff — book cover

Partial Order Methods in Verification: Workshop on Partial Order Methods in Verification, July 24-26, 1996, Princeton University

by Artial Order Methods in Verification Staff, Gerard J. Holzmann, Vaughan R. Pratt, Doron Peled
Write a review
Log in to track your reading progress.
Readers discussing Partial Order Methods in Verification: Workshop on Partial Order Methods in Verification, July 24-26, 1996, Princeton University — questions, passages they’re puzzling over, and what to read next. Log in to read full threads and join in.

Start a discussion about this book

No discussions about this book yet.

Be the first — share a question, a passage, or a thought about Partial Order Methods in Verification: Workshop on Partial Order Methods in Verification, July 24-26, 1996, Princeton University.