BibTeX record conf/ershov/VijzelaarVFB14

• > Home > conf/ershov/VijzelaarVFB14

@inproceedings{DBLP:conf/ershov/VijzelaarVFB14,
  author       = {Stefan Vijzelaar and
                  Kees Verstoep and
                  Wan J. Fokkink and
                  Henri E. Bal},
  editor       = {Andrei Voronkov and
                  Irina B. Virbitskaite},
  title        = {Bonsai: Cutting Models Down to Size},
  booktitle    = {Perspectives of System Informatics - 9th International Ershov Informatics
                  Conference, {PSI} 2014, St. Petersburg, Russia, June 24-27, 2014.
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8974},
  pages        = {361--375},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-46823-4\_29},
  doi          = {10.1007/978-3-662-46823-4\_29},
  timestamp    = {Mon, 18 May 2020 10:45:20 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/VijzelaarVFB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}