Click on a thumbnail to go to Google Books.
Compositional Verification of Concurrent Systems (Ph. D. thesis)
No current Talk conversations about this book.
References to this work on external resources.
Wikipedia in English
No descriptions found.
No library descriptions found.
RatingAverage: No ratings.
Is this you?
Become a LibraryThing Author.