BibTeX
@inproceedings{DBLP:conf/arcs/BenesonFHKP06,
author = {Zinaida Benenson and
Felix C. Freiling and
Thorsten Holz and
Dogan Kesdogan and
Lucia Draque Penso},
title = {Safety, Liveness, and Information Flow: Dependability Revisited},
booktitle = {ARCS Workshops},
year = {2006},
pages = {56-65},
crossref = {DBLP:conf/arcs/2006w},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/arcs/2006w,
editor = {Wolfgang Karl and
J{\"u}rgen Becker and
Karl-Erwin Gro{\ss}pietsch and
Christian Hochberger and
Erik Maehle},
title = {ARCS 2006 - 19th International Conference on Architecture
of Computing Systems, Workshops Proceedings, March 16, 2006,
Frankfurt am Main, Germany},
booktitle = {ARCS Workshops},
publisher = {GI},
series = {LNI},
volume = {81},
year = {2006},
isbn = {3-88579-175-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2006-05-16 by Michael Ley (ley@uni-trier.de)