The Deadlock problem: a classifying bibliography
ACM SIGOPS Operating Systems Review
Static detection of Livelocks in Ada multitasking programs
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Hi-index | 0.00 |