@article{Su:2014:ANM:2683030.2683044,
    Address = {London, UK, UK},
    Author = {Su, Li and Gomez, Rodolfo and Bowman, Howard},
    File = {Analysing Neurobiological Models Using Communicating Automata - Su, Gomez, Bowman (0) (0) - a - a - e.pdf},
    ISSN = {0934-5043},
    Journal = {Form. Asp. Comput.},
    Keywords = {AI, Backpropagation, Cognitive neuroscience, Communicating automata, Generalized recirculation algorithm, Model checking, Neuronal networks, PROMELA, Plasticity---stability dilemma, SPIN, Uppaal, Visual attention, readme},
    Month = {November},
    Number = {6},
    Pages = {1169--1204},
    Publisher = {Springer-Verlag},
    Title = {Analysing Neurobiological Models Using Communicating Automata},
    URL = {http://dx.doi.org/10.1007/s00165-014-0294-y},
    Volume = {26},
    Year = {2014},
    acmid = {2683044},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s00165-014-0294-y},
    date-added = {2015-01-08 10:44:10 +0000},
    date-modified = {2015-01-08 10:44:21 +0000},
    issue_date = {November 2014},
    numpages = {36},
    doi = {10.1007/s00165-014-0294-y}
}

@article{Su:2014:ANM:2683030.2683044, Address = {London, UK, UK}, Author = {Su, Li and Gomez, Rodolfo and Bowman, Howard}, File = {Analysing Neurobiological Models Using Communicating Automata - Su, Gomez, Bowman (0) (0) - a - a - e.pdf}, ISSN = {0934-5043}, Journal = {Form. Asp. Comput.}, Keywords = {AI, Backpropagation, Cognitive neuroscience, Communicating automata, Generalized recirculation algorithm, Model checking, Neuronal networks, PROMELA, Plasticity---stability dilemma, SPIN, Uppaal, Visual attention, readme}, Month = {November}, Number = {6}, Pages = {1169--1204}, Publisher = {Springer-Verlag}, Title = {Analysing Neurobiological Models Using Communicating Automata}, URL = {http://dx.doi.org/10.1007/s00165-014-0294-y}, Volume = {26}, Year = {2014}, acmid = {2683044}, bdsk-url-1 = {http://dx.doi.org/10.1007/s00165-014-0294-y}, date-added = {2015-01-08 10:44:10 +0000}, date-modified = {2015-01-08 10:44:21 +0000}, issue_date = {November 2014}, numpages = {36}, doi = {10.1007/s00165-014-0294-y} }