Index of /~degiacom/didattica/software-services/aa2011-12/lectures

Icon  Name                                                  Last modified      Size  Description
[DIR] Parent Directory                                                           -   
[DIR] week1 - transition systems/                           25-Feb-2013 21:56    -   
[DIR] week2 - logics of programs/                           25-Feb-2013 22:00    -   
[DIR] week3 - bisimulation & hennessy milner logic/         25-Feb-2013 22:00    -   
[DIR] week4 - service composition/                          25-Feb-2013 22:03    -   
[DIR] week5 - nondeterministic service composition/         25-Feb-2013 22:07    -   
[DIR] week7-8-9 - mecella - web services technologies/      25-Feb-2013 22:08    -   
[DIR] week10 - game structures/                             25-Feb-2013 21:57    -   
[DIR] week11-12 - parizi - TLV/                             25-Feb-2013 21:58    -   
[DIR] week13 - mecella - smart homes services - case study/ 25-Feb-2013 21:59    -