Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Accepted author manuscript, 121 KB, PDF document
Original language | English |
---|---|
Title of host publication | Workshop on Automated Reasoning Bridging the Gap between Theory and Practice 2008 |
Pages | 30-31 |
Number of pages | 2 |
Publication status | Published - 2008 |
ID: 154368