Title | Abstract Model Repair |
Publication Type | Journal Article |
Year of Publication | 2015 |
Authors | Chatzieleftheriou, G., Bonakdarpour B., Katsaros P., and Smolka S. A. |
Journal | Logical Methods in Computer Science |
Volume | 3:11 |
Title | Abstract Model Repair |
Publication Type | Journal Article |
Year of Publication | 2015 |
Authors | Chatzieleftheriou, G., Bonakdarpour B., Katsaros P., and Smolka S. A. |
Journal | Logical Methods in Computer Science |
Volume | 3:11 |