@INPROCEEDINGS{,
author = {S. Charron and E. Paviot-Adet and D. Buchs and A. Linard and F. Kordon},
booktitle = {2010 10th International Conference on Application of Concurrency to System Design(ACSD)},
title = {polyDD: Towards a Framework Generalizing Decision Diagrams},
year = {2005},
volume = {00},
number = {},
pages = {124-133},
keywords={},
doi = {10.1109/ACSD.2010.17},
url = {doi.ieeecomputersociety.org/10.1109/ACSD.2010.17},
ISSN = {1550-4808},
month={06}
}