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]

Possibly Related Publications

The following publications are possibly variants of this publication: