branches with status:
Name Status Last Modified Last Commit
lp:~tapaal-dist-ctl/verifypn/par-ctl 1 Development 2017-08-06 17:10:51 UTC 2017-08-06
185. added the remaining failes

Author: Lasse S. Jensen
Revision Date: 2017-08-06 17:09:52 UTC

added the remaining failes

lp:~tapaal-dist-ctl/verifypn/paper-dist 1 Development 2016-10-21 14:55:21 UTC 2016-10-21
330. Results from paper added

Author: <email address hidden>
Revision Date: 2016-10-21 14:55:21 UTC

Results from paper added

12 of 2 results