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

Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems.

Taolue ChenBas PloegerJaco van de PolTim A. C. Willemse
Published in: CONCUR (2007)
Keyphrases
  • distributed systems
  • building blocks
  • database
  • search engine
  • expert systems
  • evolutionary algorithm
  • data model
  • data management
  • knowledge based systems
  • complex systems
  • computing systems