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]
Personal Data
- Username:
- srdipi78
- Joined:
- 2008-02-28 11:34:08