A formal methods approach to pattern synthesis in reaction diffusion systems

---

Atıf İçin Kopyala

AYDIN GÖL E. , Bartocci E., Belta C.

53rd IEEE Conference on Decision and Control, Los Angeles, CA, USA, 15 - 17 Aralık 2014

• Doi Numarası: 10.1109/cdc.2014.7039367
• Basıldığı Şehir: Los Angeles, CA, USA