| Original language | English |
|---|---|
| Publication status | Published - 2003 |
| MoE publication type | I2 ICT applications |
Keywords
- Bounded Model Checking
- Verification
Translation Tool for LTS BMC
Toni Jussila
Research output: Artistic and non-textual form › Software › Scientific