%0 Conference Paper %B Proceedings of 5th International Conference on Algebra and Coalgebra in Computer Science - CALCO %D 2013 %T Hybridisation at work %A Renato Neves %A Alexandre Madeira %A M. Martins %A Luis Soares Barbosa %E Reiko Heckel %E Stefan Milius %C Warsaw, Poland %I Springer %P 340-345 %S Lecture Notes in Computer Science %V 8089 %X

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

%8 September %> https://haslab.uminho.pt/sites/default/files/lsb/files/hybatwork.pdf