Change Propagation of View Models by Logic Synthesis Using SAT Solvers

CímChange Propagation of View Models by Logic Synthesis Using SAT Solvers
Közlemény típusaConference Paper
Kiadás éve2016
SzerzőkSemeráth, O., Debreceni, C., Horváth, Á., and Varró, D.
Konferencia neveFifth International Workshop on Bidirectional Transformations (Bx 2016)
Kiadás dátuma04/2016
Konferencia helyszíneEindhoven, The Netherlands
PDF: