Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
| Original language | English |
|---|---|
| Title of host publication | Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers |
| Editors | Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov |
| Publisher | Springer International Publishing AG |
| Pages | 80-94 |
| Number of pages | 15 |
| ISBN (Print) | 9783030374860 |
| DOIs | |
| Publication status | Published - 2019 |
| Event | 12th International Andrei P. Ershov Informatics Conference - Novosibirsk, Russian Federation Duration: 2 Jul 2019 → 5 Jul 2019 Conference number: 12 |
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 11964 LNCS |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
| Conference | 12th International Andrei P. Ershov Informatics Conference |
|---|---|
| Abbreviated title | PSI 2019 |
| Country/Territory | Russian Federation |
| City | Novosibirsk |
| Period | 02.07.2019 → 05.07.2019 |
ID: 23102400