TY - CONF
TI - polyDD: Towards a Framework Generalizing Decision Diagrams
T2 - 2010 10th International Conference on Application of Concurrency to System Design(ACSD)
SP - 124
EP - 133
AU - S. Charron
AU - E. Paviot-Adet
AU - D. Buchs
AU - A. Linard
AU - F. Kordon
PY - 2005
DO - 10.1109/ACSD.2010.17
JO - 2010 10th International Conference on Application of Concurrency to System Design(ACSD)
SN - 978-0-7695-4066-5
VO - 10.1109/ACSD.2010.17
VL - 00
JA - 2010 10th International Conference on Application of Concurrency to System Design(ACSD)
Y1 - June 2005
ER -