Gol, E. A., Bartocci, E., & Belta, C. (2014). A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems. Corr, abs/1409.5671. Retrieved de http://arxiv.org/abs/1409.5671
