Proceedings 14th International Workshop on Verification of Infinite-State Systems, Infinity 2012, Paris, France, 27th August 2012.

Published in: Infinity (2012)

Keyphrases

expert systems
international conference
knowledge discovery and data mining
lecture notes in artificial intelligence
building blocks
lecture notes
international workshop
formal methods
advances in artificial intelligence
data sets
information retrieval
genetic algorithm
fuzzy logic
model checking