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.

This is the only edition we have for Partial Order Methods in Verification: Workshop on Partial Order Methods in Verification, July 24-26, 1996, Princeton University.