Kulkarni, V.,
Emelyanov, P.,
Ponomaryov, D.,
Krishna, M.,
Raha, S. &
Nandy, S. K.,
16 Dec 2019, (E-pub ahead of print)
Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (eds.).
Springer International Publishing AG,
p. 80-94 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11964 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review