Proc. of CDC 2014: the IEEE 53rd Annual Conference on Decision and Control
Book title Buchtitel
Proc. of CDC 2014: the IEEE 53rd Annual Conference on Decision and Control
Publisher Herausgeber
IEEE
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Aydin Gol, Ebru ; Bartocci, Ezio ; Belta, Calin | A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems | Konferenzbeitrag Inproceedings  | 2014 |