Semantics for self-configurable distributed diagnostics.

Vclav Jirkovsk, Petr Kadera, Pavel Vrba

Browse the full ETFA paper archive.