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 |
