S. Charron, E. Paviot-Adet, D. Buchs, A. Linard and F. Kordon, "polyDD: Towards a Framework Generalizing Decision Diagrams," 2010 10th International Conference on Application of Concurrency to System Design(ACSD), Braga, Portugal, 2005, pp. 124-133.
doi:10.1109/ACSD.2010.17
keywords:{},
url:doi.ieeecomputersociety.org/10.1109/ACSD.2010.17