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