User Activity

  • Posted a comment on ticket #15 on MTSA

    Vic, ya estas en BA ? nos juntamos la semana que viene? hay varias cosas para charlar....

  • Committed [r1005]

    Enhanced case studies

  • Committed [r1004]

    organised imports

  • Created ticket #13 on MTSA

    Add support for LTS bisimulation in FSP

  • Created ticket #12 on MTSA

    Optimisation that avoid building strategies for loosing games

  • Committed [r1000]

    imports removed

  • Committed [r999]

    ndippolito thesis examples added

  • Committed [r979]
View All

Personal Data

Username:
srdipi78
Joined:
2008-02-28 11:34:08

Projects

  • Project Logo EcoMind   Last Updated:
  • Project Logo LTSA   Last Updated:
  • Project Logo MTSA   Last Updated:

Skills

  • No skills entered.

Personal Tools