Original language | English |
---|---|
Pages (from-to) | 727-743 |
Journal | International journal of foundations of computer science |
Volume | 18 |
Issue number | 4 |
DOIs | |
Publication status | Published - 2007 |
Treatment code (Nähere Zuordnung)
- Application
- Theoretical
Roderick Paul Bloem, Alessandro Cimatti, Ingo Hans Pill, Marco Roveri
Research output: Contribution to journal › Article › peer-review
Original language | English |
---|---|
Pages (from-to) | 727-743 |
Journal | International journal of foundations of computer science |
Volume | 18 |
Issue number | 4 |
DOIs | |
Publication status | Published - 2007 |