@inproceedings{Job10,
title = {Robustness with Respect to Error Specifications },
author = {Jobstmann, Barbara},
year = {2010},
booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages, FDL 2010, September 14-16, 2010, Southampton, UK},
pages = {72},
publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
team = {DCS},
}
