Abstract Model Checking of tccp programs

Alpuente Frasnedo María, MARIA DEL MAR GALLARDO MELGAREJO, ERNESTO PIMENTEL, Villanueva García Alicia

2004

Electronic Notes in Theoretical Computer Science