Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Author is G. Chatzieleftheriou  [Clear All Filters]
Journal Article
Abstract Model Repair, Chatzieleftheriou, G., Bonakdarpour B., Katsaros P., and Smolka S. A. , Logical Methods in Computer Science, Volume 3:11, (2015)