@proceedings {PROC-2013-01,
    editor = {Hubert B. Keller and Erhard Pl{\"o}dereder and Peter Dencker and Herbert Klenk},
    title = {{Reliable Software Technologies - Ada-Europe 2013 18th Ada-Europe International Conference, Berlin, Germany, June 10 - 14, 2013}},
    publisher = {Springer},
    institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
    series = {Lecture Notes in Computer Science (LNCS)},
    volume = {7896},
    pages = {177},
    type = {Tagungsband},
    month = {Juni},
    year = {2013},
    keywords = {middleware; nondeterminism; parallelism; safty critical systems; software reliability},
    language = {Englisch},
    cr-category = {D.2 Software Engineering},
    department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Softwaretechnologie, Programmiersprachen und {\"U}bersetzerbau;
                  Universit{\"a}t Stuttgart, Institut f{\"u}r Softwaretechnologie},
    abstract = {Proceedings},
    url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=PROC-2013-01&engl=0}
 }