| Original language | English |
|---|---|
| Title of host publication | CEUR Workshop Proceedings |
| Publication status | Published - 2018 |
Evaluating pre-processing techniques for the separated normal form for temporal logics
U. Hustadt, C. Nalon, C. Dixon
Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review