Issue
RAIRO-Theor. Inf. Appl.
Volume 50, Number 2, April-June 2016
Page(s) 145 - 165
DOI http://dx.doi.org/10.1051/ita/2016018
Published online 13 October 2016

© EDP Sciences 2016