Publications

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