Issue
RAIRO-Theor. Inf. Appl.
Volume 45, Number 1, January-March 2011
ICTCS 09
Page(s) 143 - 162
DOI http://dx.doi.org/10.1051/ita/2011008
Published online 15 March 2011

© EDP Sciences, 2011