Index of /~degiacom/didattica/software-services/aa2013-14/lectures/week8 - synthesis of partially controllable system through model checking game structure/additional material

Icon  Name                                                                                                                                                Last modified      Size  Description
[DIR] Parent Directory                                                                                                                                                         -   
[   ] AAAI10dfps.pdf                                                                                                                                      22-Feb-2015 19:25  208K  
[   ] ServiceCompositionAndSefatyGames.pdf                                                                                                                22-Feb-2015 19:25  170K