Vic, ya estas en BA ? nos juntamos la semana que viene? hay varias cosas para charlar....
Enhanced case studies
organised imports
Add support for LTS bisimulation in FSP
Optimisation that avoid building strategies for loosing games
imports removed
ndippolito thesis examples added