Parameterised Process Algebraic Verification by Precongruence Reduction.

Antti Siirtola Juha Kortelainen

Published in: ACSD (2009)

Keyphrases

genetic algorithm
bayesian networks
data analysis