@inproceedings{AFV05,
title = {{A Symbolic Model Checker for tccp Programs}},
author = {Alpuente, M. and Falaschi, M. and Villanueva, A.},
booktitle = {Proceedings of the International Workshop on Rapid Integration of Software Ingeneering techniques (RISE'04)},
series = {Lecture Notes in Computer Science},
pages = 45--56,
volume = 3475,
month = may,
year = 2005
}