@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}
}
