Measurable stochastics for Brane Calculus.

Giorgio Bacci Marino Miculan

Published in: Theor. Comput. Sci. (2012)

Keyphrases

automated deduction
databases
bayesian networks
data structure
digital libraries
evolutionary algorithm
special case
automated theorem proving
algebraic structure
relation algebra