Partial-order reduction based on probe sets

Author(s): Burgman, Ronald (2012)

Abstract:

Document(s):