Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
synthesis:ltlformat [2011/04/19 17:33] jobstman |
synthesis:ltlformat [2011/04/19 17:34] jobstman |
||
---|---|---|---|
Line 2: | Line 2: | ||
This notes are based on a discussion with | This notes are based on a discussion with | ||
- | Viktor Schuppan, Rüiger , and Barbara Jobstmann. | + | Viktor Schuppan, RĂ¼diger Ehlers, and Barbara Jobstmann. |
In order to obtain a common format, we have to discuss the following topics: | In order to obtain a common format, we have to discuss the following topics: |