source: Deliverables/D4.4/mauro.tex

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(copy) @3127   7 years piccolo report on general proof
copied from Deliverables/D4.4/draft.tex:
(add) @3118   7 years piccolo 1) finished return case in StatusSimulationHelper? 2) started to write …
Note: See TracRevisionLog for help on using the revision log.