Formal Analysis of the Genetic Toggle.

Giampaolo Bella Pietro Liò

Published in: CMSB (2009)

Keyphrases

formal analysis
genetic algorithm
agent model
formal methods
ban logic
database systems
linkage analysis
database