@conference {NMNB13-calco, title = {Hybridisation at work}, booktitle = { Proceedings of 5th International Conference on Algebra and Coalgebra in Computer Science - CALCO}, series = {Lecture Notes in Computer Science}, volume = {8089}, year = {2013}, month = {September}, pages = {340-345}, publisher = {Springer}, organization = {Springer}, address = {Warsaw, Poland}, abstract = {

This paper presents the encoding of the hybridisation method proposed in [MMDB11,DM13] into the HETS platform.

}, attachments = {https://haslab.uminho.pt/sites/default/files/lsb/files/hybatwork.pdf}, author = {Renato Neves and Alexandre Madeira and M. Martins and Luis Soares Barbosa}, editor = {Reiko Heckel and Stefan Milius} }