Issue
RAIRO-Theor. Inf. Appl.
Volume 46, Number 3, July-September 2012
Page(s) 355 - 399
DOI http://dx.doi.org/10.1051/ita/2012010
Published online 29 May 2012

© EDP Sciences 2012