| Original language | English |
|---|---|
| Publication status | Published - 2003 |
| MoE publication type | I2 ICT applications |
Keywords
- finite automata
- LTL
- pathologic formulas
scheck, versio 1.1
Timo Latvala
Research output: Artistic and non-textual form › Software › Scientific