A Thread-Safe Library for Binary Decision Diagrams - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alberto Lovato, Damiano Macedonio, Fausto Spoto. A Thread-Safe Library for Binary Decision Diagrams. In Dimitra Giannakopoulou, Gwen Salaün, editors, Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings. Volume 8702 of Lecture Notes in Computer Science, pages 35-49, Springer, 2014. [doi]

This author has not been identified. Look up 'Alberto Lovato' in GoogleThis author has not been identified. Look up 'Damiano Macedonio' in GoogleThis author has not been identified. Look up 'Fausto Spoto' in Google

runs on WebDSL