You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
sjunges 5db1678528 Merge branch 'future' into gspn 11 years ago
..
ctmc Merge branch 'future' into gspn 11 years ago
dtmc Added ability to check properties from property file to cli utility. 12 years ago
mdp added support for parsing choice labels for explicit MDPs 11 years ago
pdtmc Merge branch 'future' into gspn 11 years ago