%0 Journal Article
%B CoRR
%D 2014
%G eng
%T A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems
%U http://arxiv.org/abs/1409.5671
%V abs/1409.5671