Patrice Godefroid

Partial-Order Methods for the Verification of Concurrent Systems - 1996 - Springer Berlin Heidelberg 1996 - Lecture Notes in Computer Science .

9783540494447


Computer Science