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)
http://dx.doi.org/10.1007/978-3-540-73230-3
Created from the Publication Database of the Vienna University of Technology.