Login / Signup

Using Metrics for Proof Rules for Recursively Defined Delay-insensitive Specifications.

Willem C. MallonJan Tijmen Udding
Published in: ASYNC (1997)
Keyphrases