BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-140949, author = {Blieberger, Johann and Burgstaller, Bernd and Mittermayr, Robert}, title = {Static Detection of Livelocks in Ada Multitasking Programs}, booktitle = {Proc. Ada-Europe 2007}, year = {2007}, pages = {69--83}, publisher = {Springer-Verlag}, address = {LNCS 4498}, isbn = {978-3-540-73229-7}, doi = {10.1007/978-3-540-73230-3}, note = {talk: Reliable Software Technologies - Ada-Europe, Geneva, Switzerland; 2007-06-25 -- 2007-06-29} } 1 Datensatz ausgegeben