[IEEE 2010 10th International Conference on Application of Concurrency to System Design - Braga, TBD, Portugal (2010.06.21-2010.06.25)] 2010 10th International Conference on Application of Concurrency to System Design - polyDD: Towards a Framework Generalizing Decision Diagrams
Linard, Alban, Paviot-Adet, Emmanuel, Kordon, Fabrice, Buchs, Didier, Charron, SamuelYear:
2010
Language:
english
DOI:
10.1109/acsd.2010.17
File:
PDF, 353 KB
english, 2010