Volver atrás Publicación
Alpuente Frasnedo María, FALASCHI M., Villanueva García Alicia
2004
A Symbolic Model Checker for tccp programs