@inproceedings{a56ee39bfac84376bad93e1d545d071d,
title = "Robust Specification of Real Time Components",
author = "Larsen, \{Kim Guldstrand\} and Axel Legay and Louis-Marie Traonouez and Andrzej Wasowski",
year = "2011",
doi = "10.1007/978-3-642-24310-3\_10",
language = "Udefineret/Ukendt",
isbn = "978-3-642-24310-3\_10",
volume = "6919",
booktitle = "Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings",
publisher = "Springer",
address = "Tyskland",
}