Close
@Article { grastien-anbulagan::tac::13,
author = {{\relax Al}. {Grastien} and {\relax An}. {Anbulagan}},
title = {Diagnosis of discrete event systems using satisfiability algorithms: a theoretical and empirical study},
journal = {IEEE Transactions on Automatic Control ({TAC})},
year = {2013},
volume = {58},
number = {12},
pages = {3070--3083},
}