%0 Journal Article %1 journals/corr/Chatzieleftheriou15 %A Chatzieleftheriou, George %A Bonakdarpour, Borzoo %A Katsaros, Panagiotis %A Smolka, Scott A. %D 2015 %J Logical Methods in Computer Science %K dblp %N 3 %T Abstract Model Repair. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs11.html#Chatzieleftheriou15 %V 11

@article{journals/corr/Chatzieleftheriou15, added-at = {2019-05-14T00:00:00.000+0200}, author = {Chatzieleftheriou, George and Bonakdarpour, Borzoo and Katsaros, Panagiotis and Smolka, Scott A.}, biburl = {https://www.bibsonomy.org/bibtex/2479680f441fd7b1416f80a55dcdec185/dblp}, ee = {http://arxiv.org/abs/1506.06165}, interhash = {1296de12080d6e09c5799ecd009e68a8}, intrahash = {479680f441fd7b1416f80a55dcdec185}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 3, timestamp = {2019-05-15T11:50:49.000+0200}, title = {Abstract Model Repair.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs11.html#Chatzieleftheriou15}, volume = 11, year = 2015 }