ConDiag - Computing minimal diagnoses using a constraint solver

Iulia-Dana Nica, Franz Wotawa

2012 · 21 citations · 0 references

Concepts