Beneson, Z., Freiling, F. C., Holz, T., Kesdogan, D. & Draque Penso, L.,
(2006).
Safety, liveness, and information flow: dependability revisited.
In:
Karl, W., Becker, J., Großpietsch, K.-E., Hochberger, C. & Maehle, E.
(Hrsg.),
ARCS'06, 19th International Conference on Architecture of Computing Systems.
Bonn:
Gesellschaft für Informatik e.V..
(S. 56-65).
@inproceedings{mci/Beneson2006,
author = {Beneson, Zinaida AND Freiling, Felix C. AND Holz, Thorsten AND Kesdogan, Dogan AND Draque Penso, Lucia},
title = {Safety, liveness, and information flow: dependability revisited},
booktitle = {ARCS'06, 19th International Conference on Architecture of Computing Systems},
year = {2006},
editor = {Karl, Wolfgang AND Becker, Jürgen AND Großpietsch, Karl-Erwin AND Hochberger, Christian AND Maehle, Erik}
,
pages = {
56-65
},
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
(en)