TY - JOUR
AU - Ebru Gol
AU - Ezio Bartocci
AU - Calin Belta
BT - CoRR
LA - eng
PY - 2014
T2 - CoRR
TI - A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems
UR - http://arxiv.org/abs/1409.5671
VL - abs/1409.5671
ER -