@article{5,
  author = {Ebru Gol and Ezio Bartocci and Calin Belta},
  title = {A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems},
  year = {2014},
  journal = {CoRR},
  volume = {abs/1409.5671},
  url = {http://arxiv.org/abs/1409.5671},
  language = {eng},
}