%0 Conference Paper %1 conf/atva/Tzoref-BrillM15 %A Tzoref-Brill, Rachel %A Maoz, Shahar %B ATVA %D 2015 %E Finkbeiner, Bernd %E Pu, Geguang %E Zhang, Lijun %I Springer %K dblp %P 276-292 %T Lattice-Based Semantics for Combinatorial Model Evolution. %U http://dblp.uni-trier.de/db/conf/atva/atva2015.html#Tzoref-BrillM15 %V 9364 %@ 978-3-319-24952-0

@inproceedings{conf/atva/Tzoref-BrillM15, added-at = {2017-05-21T00:00:00.000+0200}, author = {Tzoref-Brill, Rachel and Maoz, Shahar}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ec17c87d0d64c3320ab0c80e1c89cd63/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2015}, editor = {Finkbeiner, Bernd and Pu, Geguang and Zhang, Lijun}, ee = {https://doi.org/10.1007/978-3-319-24953-7_22}, interhash = {2862a599a849e45eb8546c166e57a77f}, intrahash = {ec17c87d0d64c3320ab0c80e1c89cd63}, isbn = {978-3-319-24952-0}, keywords = {dblp}, pages = {276-292}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:12:21.000+0200}, title = {Lattice-Based Semantics for Combinatorial Model Evolution.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2015.html#Tzoref-BrillM15}, volume = 9364, year = 2015 }