Projects per year
Original language | English |
---|---|
Title of host publication | Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on |
Publisher | IEEE |
Publication date | 2013 |
Pages | 321-330 |
DOIs | |
Publication status | Published - 2013 |
Event | 28th Annual ACM/IEEE Symposium on Logic in Computer Science - New Orleans, Los Angeles, United States Duration: 25 Jun 2013 → 28 Jun 2013 |
Conference
Conference | 28th Annual ACM/IEEE Symposium on Logic in Computer Science |
---|---|
Country/Territory | United States |
City | New Orleans, Los Angeles |
Period | 25/06/2013 → 28/06/2013 |
Series | Annual Symposium on Logic in Computer Science |
---|---|
ISSN | 1043-6871 |
Projects
- 1 Finished
-
MT-LAB: MT-LAB A VKR Foundation Center of Excellence
Larsen, K. G., Skou, A., Srba, J., Ravn, A. P., David, A. & Wisniewski, R.
01/10/2008 → 01/10/2013
Project: Research