| Original language | English |
|---|---|
| Publication status | Published - 2001 |
Treatment code (Nähere Zuordnung)
- Application
- Theoretical
Search Techniques and Automata for Symbolic Model Checking
Research output: Thesis › Doctoral Thesis
Research output: Thesis › Doctoral Thesis
| Original language | English |
|---|---|
| Publication status | Published - 2001 |