@Inproceedings{EPTCS125.4, author = {Dang, Thao and Dreossi, Tommaso}, year = {2013}, title = {Falsifying Oscillation Properties of Parametric Biological Models}, editor = {Dang, Thao and Piazza, Carla}, booktitle = {{\rm Proceedings Second International Workshop on} Hybrid Systems and Biology, {\rm Taormina, Italy, 2nd September 2013}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {125}, publisher = {Open Publishing Association}, pages = {53-67}, doi = {10.4204/EPTCS.125.4}, }