@article{LV09a,
title = {{A tool for Generating a Symbolic Representation of tccp executions}},
author = {Lescaylle, A. and Villanueva, A.},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {to appear},
year = 2009
}