HYPE applied to the modelling of hybrid biological systems. (2008)

by V Galpin, J Hillston, L Bortolussi
Venue:Electronic Notes in Theoretical Computer Science,