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

Concurrent

von Patrice Godefroid

Taschenbuch

ISBN-13: 978-3-540-60761-8

ISBN-10: 3-540-60761-7

Springer · 2009
Siehe auch:
1996PaperbackPartial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem (Lecture Notes in Computer Science)