Issue
RAIRO-Theor. Inf. Appl.
Volume 46, Number 3, July-September 2012
Page(s) 413 - 450
DOI http://dx.doi.org/10.1051/ita/2012012
Published online 22 June 2012

© EDP Sciences 2012