Original language | English |
---|---|
Title of host publication | Proceedings of the 14th International Colloquium on Theoretical Aspects of Computing (ICTAC'17) |
Number of pages | 18 |
Volume | 10580 |
Publisher | Springer |
Publication date | 2017 |
Pages | 248-265 |
ISBN (Print) | 978-3-319-67728-6 |
ISBN (Electronic) | 978-3-319-67729-3 |
DOIs | |
Publication status | Published - 2017 |
Event | International Colloquium on Theoretical Aspects of Computing - Hanoi, Viet Nam Duration: 23 Oct 2017 → 27 Oct 2017 Conference number: 14 http://fit.uet.vnu.edu.vn/ictac2017/ |
Conference
Conference | International Colloquium on Theoretical Aspects of Computing |
---|---|
Number | 14 |
Country/Territory | Viet Nam |
City | Hanoi |
Period | 23/10/2017 → 27/10/2017 |
Internet address |
Series | Lecture Notes in Computer Science |
---|---|
ISSN | 0302-9743 |
Keywords
- data structures, tree compression, model checking