• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Analysis the Properties of TLS Based on Temporal Logic of Knowledge.

Chao LvHui LiJianfeng Ma
Published in: IAS (2009)
Keyphrases
  • temporal logic
  • model checking
  • knowledge representation
  • knowledge base
  • knowledge acquisition
  • formal specification
  • predicate logic
  • model checker
  • temporal knowledge
  • mazurkiewicz traces