ShARe/CLEFeHealth: A Hybrid Approach for Task 2 - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Huu Nghia Huynh, Son Lam Vuand Bao Quoc Ho. ShARe/CLEFeHealth: A Hybrid Approach for Task 2. In Linda Cappellato, Nicola Ferro, Martin Halvey, Wessel Kraaij, editors, Working Notes for CLEF 2014 Conference, Sheffield, UK, September 15-18, 2014. Volume 1180 of CEUR Workshop Proceedings, pages 103-110, CEUR-WS.org, 2014. [doi]

The following publications are possibly variants of this publication:

Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid SystemsRajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho. hybrid 1993: 209-229

runs on WebDSL