@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 = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
    series = {Lecture Notes in Computer Science (LNCS)},
    volume = {7896},
    pages = {177},
    type = {Proceedings},
    month = {June},
    year = {2013},
    keywords = {middleware; nondeterminism; parallelism; safty critical systems; software reliability},
    language = {English},
    cr-category = {D.2 Software Engineering},
    department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers;
                  University of Stuttgart, Institute of Software Technology},
    abstract = {Proceedings},
    url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=PROC-2013-01&engl=1}
 }