@inbook {AFV04,
	title = {A Symbolic Model checker for tccp Programs},
	booktitle = {Proceedings of the International Workshop on Rapid Integration of Software Ingeneering techniques (RISE{\textquoteright}04)},
	series = {Lecture Notes in Computer Science},
	volume = {3475},
	year = {2005},
	pages = {45{\textendash}56},
	publisher = {Springer Verlag},
	organization = {Springer Verlag},
	keywords = {cc, model checking, symbolic representation},
	author = {Maria Alpuente and Moreno Falaschi and Alicia Villanueva}
}
@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}
}
