Issue
RAIRO-Theor. Inf. Appl.
Volume 46, Number 2, April-June 2012
12th Italian Conference on Theoretical Computer Science (ICTCS)
Page(s) 231 - 259
DOI http://dx.doi.org/10.1051/ita/2012001
Published online 02 March 2012

© EDP Sciences 2012