@proceedings {AFV03b, title = {Symbolic Model Checking for Timed Concurrent Constraint Programs}, journal = {Proceedings of the III Jornadas de Programaci{\'o}n y Lenguajes}, year = {2003}, address = {Alicante}, keywords = {cc, model checking, symbolic representation}, author = {Maria Alpuente and Moreno Falaschi and Alicia Villanueva} }