Benutzer: Gast  Login
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