BibTeX record conf/ershov/2017

download as .bib file

@proceedings{DBLP:conf/ershov/2017,
  editor    = {Alexander K. Petrenko and
               Andrei Voronkov},
  title     = {Perspectives of System Informatics - 11th International Andrei P.
               Ershov Informatics Conference, {PSI} 2017, Moscow, Russia, June 27-29,
               2017, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {10742},
  publisher = {Springer},
  year      = {2018}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics