Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem (Lecture Notes in Computer Science)

by Patrice Godefroid

Paperback

ISBN: 978-0-387-60761-0

ISBN-10: 0-387-60761-7

See also:
2009	Taschenbuch	Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem (Lecture Notes in Computer Science, Band 1032)