A formal methods approach to pattern synthesis in reaction diffusion systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ebru Aydin Gol, Ezio Bartocci, Calin Belta. A formal methods approach to pattern synthesis in reaction diffusion systems. In 53rd IEEE Conference on Decision and Control, CDC 2014, Los Angeles, CA, USA, December 15-17, 2014. pages 108-113, IEEE, 2014. [doi]

This author has not been identified. Look up 'Ebru Aydin Gol' in GoogleThis author has not been identified. Look up 'Ezio Bartocci' in GoogleThis author has not been identified. Look up 'Calin Belta' in Google

runs on WebDSL