TY - RPRT T1 - Cross-check of Analysis Modules and Reasoner Interactions Y1 - 2014 A1 - Umberto Manferdini A1 - Stefano Traverso A1 - Marco Mellia A1 - Edion Tego A1 - Francesco Matera A1 - Zied Ben Houidi A1 - Marco Milanesio A1 - Pietro Michiardi A1 - Dario Rossi A1 - D. Cicalese A1 - D. Joumblatt A1 - Jordan Augé A1 - Maurizio Dusi A1 - Sofia Nikitaki A1 - Mohamed Ahmed A1 - Ilias Leontiadis A1 - L. Baltrunas A1 - M. Varvello A1 - Pedro Casas A1 - Alessandro D'Alconzo A1 - Benoit Donnet A1 - W. Du A1 - Guy Leduc A1 - Y. Liao A1 - Alessandro Capello A1 - Fabrizio Invernizzi KW - reasoner KW - WP4 ER -