TY  - JOUR

T1  - Analysing neurobiological models using communicating automata

JO  - Formal Aspects of Computing

UR  - https://doi.org/10.1007/s00165-014-0294-y

PY  - 2014/04/23

AU  - Su L

AU  - Gomez R

AU  - Bowman H

ED  - 

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

PB  - Association for Computing Machinery (ACM)

VL  - 26

IS  - 6

SP  - 1169

EP  - 1204

Y2  - 2025/11/29

ER  -