Original language | English |
---|---|
Pages | 45-54 |
DOIs | |
Publication status | Published - 1 Jun 2012 |
Event | 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia Duration: 25 Jun 2012 → 28 Jun 2012 |
Conference
Conference | 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) |
---|---|
City | Dubrovnik, Croatia |
Period | 25/06/12 → 28/06/12 |