@inproceedings{conf/sara/SaittaTT07,
title = {Formalizing the Abstraction Process in Model-Based Diagnosis.},
author = {Lorenza Saitta and Pietro Torasso and Gianluca Torta},
booktitle = {SARA},
crossref = {conf/sara/2007},
editor = {Ian Miguel and Wheeler Ruml},
pages = {314-328},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
url = {http://dblp.uni-trier.de/db/conf/sara/sara2007.html#SaittaTT07},
volume = {4612},
year = {2007},
description = {dblp},
ee = {http://dx.doi.org/10.1007/978-3-540-73580-9_25}, isbn = {978-3-540-73579-3}, date = {2007-09-04},
keywords = {dblp }
}
::