Oszkár Semeráth, Csaba Debreceni, Ákos Horváth 0001, Dániel Varró
Change Propagation of View Models by Logic Synthesis using SAT solvers
BX, 2016.
@inproceedings{BX-2016-SemerathDHV,
author = "Oszkár Semeráth and Csaba Debreceni and Ákos Horváth 0001 and Dániel Varró",
booktitle = "{Proceedings of the Fifth International Workshop on Bidirectional Transformations}",
ee = "http://ceur-ws.org/Vol-1571/paper_6.pdf",
pages = "40--44",
publisher = "{CEUR-WS.org}",
title = "{Change Propagation of View Models by Logic Synthesis using SAT solvers}",
year = 2016,
}