Login / Signup

Detecting Temporal Logic Predicates on the Happened-Before Model.

Alper SenVijay K. Garg
Published in: IPDPS (2002)
Keyphrases
  • temporal logic
  • model checking