- Autor(en):
- Berndt, Rüdiger; Bazan, Peter; Hielscher, Kai-Steffen; Lukasiewycz, Martin; German, Reinhard
- Titel:
- Multi-Valued Decision Diagrams for the Verification of Consistency in Automotive Product Data
- Kongress- / Buchtitel:
- Proceedings of QSIC 2012
- Jahr:
- 2012
- BibTeX