TY - RPRT TI - Hybrid Automata and ε-Analysis on a Neural Oscillator AU - Alberto Casagrande AU - Tommaso Dreossi AU - Carla Piazza PY - 2012 DO - 10.4204/eptcs.92.5 UR - https://arxiv.org/abs/1208.3852 ID - 1208.3852 ER -