A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems
| Author | |
| Year of Publication | 2014 |
| Journal | CoRR |
| Volume | abs/1409.5671 |
| URL | http://arxiv.org/abs/1409.5671 |
| Download citation |
| Author | |
| Year of Publication | 2014 |
| Journal | CoRR |
| Volume | abs/1409.5671 |
| URL | http://arxiv.org/abs/1409.5671 |
| Download citation |