Towards the Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One

Ulrich Ultes-Nitsche. Towards the Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One. Electronic Notes in Theoretical Computer Science, 18:223-239, 1998. [doi]

Abstract

Abstract is missing.