Vol-1570⫷ Vol-1571 ⫸Vol-1572
urn:nbn:de:0074-1571-0


Vol-1571/paper_5⫷Vol-1571/paper_6⫸Vol-1571/paper_7

Change Propagation of View Models by Logic Synthesis using SAT solvers