@article{10.1109/ACSD.2010.17,
author = {Samuel Charron, and Emmanuel Paviot-Adet, and Didier Buchs, and Alban Linard, and Fabrice Kordon, },
title = {polyDD: Towards a Framework Generalizing Decision Diagrams},
journal = {2010 10th International Conference on Application of Concurrency to System Design},
volume = {00},
number = {},
issn = {1550-4808},
year = {2005},
pages = {124-133},
doi = {doi.ieeecomputersociety.org/10.1109/ACSD.2010.17},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}