@Inproceedings{EPTCS154.5, author = {Feng, Cheng}, year = {2014}, title = {Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE - ZebraNet as an Example}, editor = {Bertrand, Nathalie and Bortolussi, Luca}, booktitle = {{\rm Proceedings Twelfth International Workshop on} Quantitative Aspects of Programming Languages and Systems , {\rm Grenoble, France, 12-13 April 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {154}, publisher = {Open Publishing Association}, pages = {64-77}, doi = {10.4204/EPTCS.154.5}, }