Login / Signup

Formal verification of concurrent scheduling strategies using TLA.

Gudmund GrovGreg MichaelsonAndrew Ireland
Published in: ICPADS (2007)
Keyphrases