Neuronal Reconstruction Workshop Darren R. Myatt*, Slawomir J. Nasuto, Giorgio A. Ascoli. *[email protected]*[email protected], .
Z34Bio: A Framework for Analyzing Biological Computation Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, and Hillel Kugler SMT 2013, Helsinki.
Compendium Article Stone Circle