Volver atrás Publicación
Alpuente Frasnedo María, MARIA DEL MAR GALLARDO MELGAREJO, ERNESTO PIMENTEL, Villanueva García Alicia
2004
Abstract Model Checking of tccp programs
