University timetabling in ECLiPSe
Gavanelli M     details >>

Anno: 2006

Abduction for specifying and verifying web service choreographies
ALBERTI A.;CHESANI F.;GAVANELLI M.;LAMMA E.;MELLO P.;MONTALI M.;STORARI S.     details >>

Anno: 2006