DMCA

SAT-Based Consistency Checking of Automotive Electronic Product Data (2000)

by Carsten Sinz , Andreas Kaiser , Wolfgang Küchlin
Venue:ECAI Workshop
Citations:3 - 2 self