C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems.
Taolue Chen
Bas Ploeger
Jaco van de Pol
Tim 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