Login / Signup

Open computation tree logic with fairness.

Ansuman BanerjeePallab DasguptaPartha Pratim Chakrabarti
Published in: ISCAS (5) (2003)
Keyphrases
  • computation tree logic
  • model checking
  • temporal logic
  • bounded model checking
  • epistemic logic
  • formal specification
  • game theory