Sylvan: Multi-Core Framework for Decision Diagrams
International Journal on Software Tools for Technology Transfer - Germany
doi 10.1007/s10009-016-0433-2
Full Text
Open PDFAbstract
Available in full text
Date
October 19, 2016
Authors
Publisher
Springer Science and Business Media LLC