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

Deductive verification of alternating systems.

Matteo SlaninaHenny B. SipmaZohar Manna
Published in: Formal Aspects Comput. (2008)
Keyphrases
  • object oriented
  • computer systems
  • building blocks
  • complex systems
  • databases
  • social networks
  • image processing
  • multi agent
  • computing systems
  • asynchronous circuits