Power Simulation and its Relation to Traces and Failures Refinement

Paul Gardiner. Power Simulation and its Relation to Traces and Failures Refinement. Electronic Notes in Theoretical Computer Science, 32:78-100, 2000. [doi]

Abstract

Abstract is missing.