Hybridisation at work

Citation:
Neves R, Madeira A, Martins M, Barbosa LS.  2013.  Hybridisation at work. Proceedings of 5th International Conference on Algebra and Coalgebra in Computer Science - CALCO. 8089:340-345.

Tertiary Title:

Lecture Notes in Computer Science

Date Presented:

September

Abstract:

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

Citation Key:

NMNB13-calco

DOI:

10.1007/978-3-642-40206-7_28

PreviewAttachmentSize
hybatwork.pdf256.38 KB