Login / Signup

A compliance notation for verifying concurrent systems.

D. M. AtiyaS. King
Published in: ICSE (2002)
Keyphrases