Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem

By Patrice Godefroid

Book Overview

This monograph is a revised version of the author's Ph.D. thesis, submitted to the University of Li ge, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work, is to turn... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540607617
• ISBN13: 9783540607618
• Release Date: January 1996
• Publisher: Springer
• Length: 143 Pages
• Weight: 0.50 lbs.
• Dimensions: 0.3" x 6.1" x 9.2"