Proceedings First International Workshop on Hybrid Systems and Biology

Ezio Bartocci Luca Bortolussi Proceedings First International Workshop on Hybrid Systems and Biology HSB http://dx.doi.org/10.4204/EPTCS.92 2012 EPTCS 92 db/series/eptcs/eptcs92.html