Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic

Ezio Bartocci, Luca Bortolussi, Dimitrios Milios, Laura Nenzi, Guido Sanguinetti. Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic. In Alessandro Abate, David Safránek, editors, Hybrid Systems Biology - Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers. Volume 9271 of Lecture Notes in Computer Science, pages 156-172, Springer, 2015. [doi]

Authors

Ezio Bartocci

This author has not been identified. Look up 'Ezio Bartocci' in Google

Luca Bortolussi

This author has not been identified. Look up 'Luca Bortolussi' in Google

Dimitrios Milios

This author has not been identified. Look up 'Dimitrios Milios' in Google

Laura Nenzi

This author has not been identified. Look up 'Laura Nenzi' in Google

Guido Sanguinetti

This author has not been identified. Look up 'Guido Sanguinetti' in Google