source: LTS/Traces.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @3387   6 years piccolo unified notation
(edit) @3380   6 years piccolo Added definition of measurable trace
(edit) @3374   6 years piccolo
(add) @3372   6 years piccolo Added new implementation of labelling approach based on LTS and …
Note: See TracRevisionLog for help on using the revision log.