Media type: E-Article Title: Sylvan: multi-core framework for decision diagrams Contributor: van Dijk, Tom; van de Pol, Jaco Published: Springer Science and Business Media LLC, 2017 Published in: International Journal on Software Tools for Technology Transfer, 19 (2017) 6, Seite 675-696 Language: English DOI: 10.1007/s10009-016-0433-2 ISSN: 1433-2779; 1433-2787 Origination: Footnote: