Index of /~degiacom/didattica/software-services/aa2008-09/lectures/BisimulationGame/bisim

 Name                                                                        Last modified      Size  Description
 Parent Directory                                                                                 -   
 bisim.jar                                                                   24-Mar-2006 12:56  228K  
 graphs/                                                                     22-Nov-2008 07:28    -   
 grappa1_2.jar                                                               24-Mar-2006 12:56  151K  
 miei/                                                                       22-Nov-2008 07:28    -   
 properties.txt                                                              02-Jun-2008 19:53  370   
 run.bat                                                                     24-Mar-2006 12:56   32   
 run.sh                                                                      24-Mar-2006 12:56   42