|
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 |
|
|
|