Blieberger, J., Burgstaller, B., & Mittermayr, R. (2007). Static Detection of Livelocks in Ada Multitasking Programs. In N. Abdennadher & F. Kordon (Eds.), Reliable Software Technologies - Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings (pp. 69–83). Springer-Verlag. https://doi.org/10.1007/978-3-540-73230-3_6
-
Book Title:
Reliable Software Technologies - Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings
