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 - 2025/08/13 ER -