Measurable Stochastics for Brane Calculus

Giorgio Bacci Marino Miculan

Published in: MeCBIC (2010)

Keyphrases

database
neural network
website
algebraic structure
real world
case study
information technology
special case
formal language
automated theorem proving
automated deduction