PDF:
Change Propagation of View Models by Logic Synthesis Using SAT Solvers
Cím | Change Propagation of View Models by Logic Synthesis Using SAT Solvers |
Közlemény típusa | Conference Paper |
Kiadás éve | 2016 |
Szerzők | Semeráth, O., Debreceni, C., Horváth, Á., and Varró, D. |
Konferencia neve | Fifth International Workshop on Bidirectional Transformations (Bx 2016) |
Kiadás dátuma | 04/2016 |
Konferencia helyszíne | Eindhoven, The Netherlands |