TY - JOUR
AU - G. Chatzieleftheriou
AU - B. Bonakdarpour
AU - P. Katsaros
AU - S. Smolka
BT - Logical Methods in Computer Science
LA - eng
PY - 2015
T2 - Logical Methods in Computer Science
TI - Abstract Model Repair
VL - 3:11
ER -