Login
- Title:
Multi-Valued Decision Diagrams for the Verification of Consistency in Automotive Product Data
- Author(s):
- Berndt, Rüdiger; Bazan, Peter; Hielscher, Kai-Steffen; Lukasiewycz, Martin; German, Reinhard
- Book / Congress title:
- Proceedings of QSIC 2012
- Year:
- 2012
BibTeX