DOI

  • Vadiraj Kulkarni
  • Pavel Emelyanov
  • Denis Ponomaryov
  • Madhava Krishna
  • Soumyendu Raha
  • S. K. Nandy
Язык оригиналаанглийский
Название основной публикацииPerspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers
РедакторыNikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
ИздательSpringer International Publishing AG
Страницы80-94
Число страниц15
ISBN (печатное издание)9783030374860
DOI
СостояниеЭлектронная публикация перед печатью - 16 дек. 2019
Событие12th International Andrei P. Ershov Informatics Conference, PSI 2019 - Novosibirsk, Российская Федерация
Продолжительность: 2 июл. 20195 июл. 2019

Серия публикаций

НазваниеLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Том11964 LNCS
ISSN (печатное издание)0302-9743
ISSN (электронное издание)1611-3349

Конференция

Конференция12th International Andrei P. Ershov Informatics Conference, PSI 2019
Страна/TерриторияРоссийская Федерация
ГородNovosibirsk
Период02.07.201905.07.2019

ID: 23102400