Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Accepted author manuscript, 96 KB, PDF document
Original language | English |
---|---|
Title of host publication | In Proceedings of 18th Automated Reasoning Workshop |
Pages | 13-14 |
Number of pages | 2 |
Publication status | Published - 2011 |
ID: 41181703