@Inproceedings{EPTCS92.2, author = {Testylier, Romain and Dang, Thao}, year = {2012}, title = {Analysis of parametric biological models with non-linear dynamics}, editor = {Bartocci, Ezio and Bortolussi, Luca}, booktitle = {{\rm Proceedings First International Workshop on} Hybrid Systems and Biology, {\rm Newcastle Upon Tyne, 3rd September 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {92}, publisher = {Open Publishing Association}, pages = {16-29}, doi = {10.4204/EPTCS.92.2}, }