Deadlock detection runtime service for Embedded Linux.

Bernd Glatz, Roman Beneder, Martin Horauer, Thomas Rauscher

Browse the full ETFA paper archive.