@PhdThesis{Vil03,
author = {Villanueva, A.},
title = {{Model Checking for the Concurrent Constraint Paradigm}},
school = {Universit\`a di Udine},
address = {Udine, Italy},
year = {2003},
month = {May}
}

@PhdThesis{Vil03,
author = {Villanueva, A.},
title = {{Model Checking for the Concurrent Constraint Paradigm}},
school = {Universidad Polit\'ecnica de Valencia},
address = {Valencia, Spain},
year = {2003},
month = {May}
}