diff options
| author | Camil Staps | 2018-04-15 12:25:38 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-04-15 12:25:38 +0200 |
| commit | 4a8205f8d47db9bd7b677de1fb379a882dd0f291 (patch) | |
| tree | f61a48c0ccdb7a20d63030290a266fbcd57c7b7e /Assignment1/bad-prefix.tex | |
| parent | Add two summary points, this means we do not need a comparison subsection any... (diff) | |
Add result by Sistla (1985): complexity of model checking for PLTL is the same as for LTL
Diffstat (limited to 'Assignment1/bad-prefix.tex')
0 files changed, 0 insertions, 0 deletions