BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@inproceedings{TUW-137445,
    author = {Blieberger, Johann and Burgstaller, Bernd and Scholz, Bernhard},
    title = {Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs},
    booktitle = {Lecture Notes in Computer Science - Ada-Europe Conf.},
    year = {2000},
    pages = {225--237},
    publisher = {Springer-Verlag},
    address = {1845},
    isbn = {3-540-67669-4},
    doi = {10.1007/10722060{\_}21},
    note = {talk: Reliable Software Technologies - Ada-Europe, Potsdam, Germany; 2000-06-26 -- 2000-06-30}
}


1 Datensatz ausgegeben