@inproceedings{AGPV05c,
title = {{Verifying Real-Time Properties of tccp Programs}},
author = {Alpuente, M. and Gallardo, M.M. and Pimentel, E. and Villanueva, A.},
booktitle = {Actas de las V Jornadas de Programación y Lenguajes (PROLE'05)},
pages = {85--94},
year = 2005
}