@inproceedings{AGPV04,
 author = {Alpuente, M. and Gallardo, M.M. and Pimentel, E. and
 Villanueva, A.},
 title = {{Abstract Model Checking of \textsf{tccp} programs}},
 booktitle = {{Proceedings of the 2nd Workshop on Quantitative Aspects
 of Programming Languages (QAPL 2004)}},
 series = {Electronic Notes in Theoretical Computer Science (ENTCS)},
 volume = {To appear},
 year = {2004}
}