Talks and Poster Presentations (with Proceedings-Entry):

J. Blieberger, B. Burgstaller, R. Mittermayr:
"Static Detection of Livelocks in Ada Multitasking Programs";
Talk: Reliable Software Technologies - Ada-Europe, Geneva, Switzerland; 2007-06-25 - 2007-06-29; in: "Proc. Ada-Europe 2007", Springer-Verlag, LNCS 4498 (2007), ISBN: 978-3-540-73229-7; 69 - 83.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Created from the Publication Database of the Vienna University of Technology.