@inproceedings{AFV03,
title = {{Symbolic Model Checking for Timed Concurrent Constraint Programs}},
author = {Alpuente, M. and Falaschi, M. and Villanueva, A.},
booktitle = {Actas de las III Jornadas de Programación y Lenguajes (PROLE'03)},
pages = 151--165,
address = Alicante (Spain),
year = 2003
}