@inproceedings{DD3,
title = {Falsifying Oscillation Properties of Parametric Biological Models },
author = {Dang, Thao and Dreossi, Tommaso},
year = {2013},
booktitle = {Proceedings Second International Workshop on Hybrid Systems and Biology, HSB 2013, Taormina, Italy, 2nd September 2013},
pages = {53-67},
series = {EPTCS},
volume = {125},
team = {axe_Mohytos, TEMPO},
}