Semeráth, Oszkár and Debreceni, Csaba and Horváth, Ákos and Varró, Dániel (2016) Change Propagation of View Models by Logic Synthesis using SAT solvers. In: Proceedings of the 5th International Workshop on Bidirectional Transformations, Bx 2016, co-located with The European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 8, 2016. CEUR Workshop Proceedings (1571). CEUR-WS.org, Aachen, pp. 40-44.
|
Text
paper_6.pdf Download (715kB) | Preview |
Official URL: http://ceur-ws.org/Vol-1571/paper_6.pdf
| Item Type: | Book Section |
|---|---|
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány Q Science / természettudomány > QA Mathematics / matematika > QA76 Computer software / programozás |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 25 Jul 2018 03:58 |
| Last Modified: | 25 Jul 2018 03:58 |
| URI: | http://real.mtak.hu/id/eprint/82390 |
Actions (login required)
 |
Edit Item |
