Equivalence and Discretisation in Bio-PEPA.

Vashti Galpin Jane Hillston

Published in: CMSB (2009)

Keyphrases

bio medical
multiscale
real time
data structure
probabilistic model
datalog programs