Abstract Model Repair

Author	G. Chatzieleftheriou B. Bonakdarpour P. Katsaros S. Smolka
Year of Publication	2015
Journal	Logical Methods in Computer Science
Volume	3:11
Download citation	Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS