S. Vijzelaar, K. Verstoep, W. Fokkink, and H. Bal. Ershov Memorial Conference, volume 8974 of Lecture Notes in Computer Science, page 361-375. Springer, (2014)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/ershov/VijzelaarVFB14
%A Vijzelaar, Stefan
%A Verstoep, Kees
%A Fokkink, Wan J.
%A Bal, Henri E.
%B Ershov Memorial Conference
%D 2014
%E Voronkov, Andrei
%E Virbitskaite, Irina B.
%I Springer
%K dblp
%P 361-375
%T Bonsai: Cutting Models Down to Size.
%U http://dblp.uni-trier.de/db/conf/ershov/ershov2014.html#VijzelaarVFB14
%V 8974
%@ 978-3-662-46822-7
@inproceedings{conf/ershov/VijzelaarVFB14,
added-at = {2020-05-18T00:00:00.000+0200},
author = {Vijzelaar, Stefan and Verstoep, Kees and Fokkink, Wan J. and Bal, Henri E.},
biburl = {https://www.bibsonomy.org/bibtex/2ba5bb3eb89c6960cbb95ed29f4577183/dblp},
booktitle = {Ershov Memorial Conference},
crossref = {conf/ershov/2014},
editor = {Voronkov, Andrei and Virbitskaite, Irina B.},
ee = {https://doi.org/10.1007/978-3-662-46823-4_29},
interhash = {40c4c27a95837915403df86916750d09},
intrahash = {ba5bb3eb89c6960cbb95ed29f4577183},
isbn = {978-3-662-46822-7},
keywords = {dblp},
pages = {361-375},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2020-05-19T12:33:07.000+0200},
title = {Bonsai: Cutting Models Down to Size.},
url = {http://dblp.uni-trier.de/db/conf/ershov/ershov2014.html#VijzelaarVFB14},
volume = 8974,
year = 2014
}
