TY  - JOUR

T1  - Analysing neurobiological models using communicating automata

JO  - Formal Aspects of Computing

PY  - 2014/11/01

AU  - Su L

AU  - Gomez R

AU  - Bowman H

ED  - 

DO  - DOI: 10.1007/s00165-014-0294-y

PB  - Springer Science and Business Media LLC

VL  - 26

IS  - 6

SP  - 1169

EP  - 1204

Y2  - 2024/12/22

ER  -