Formal verification of diagnosability via symbolic model checking (2003)

by Alessandro Cimatti , Charles Pecheur , Roberto Cavada
Venue:In Proceedings of the 18th International Joint Conference on Artificial Intelligence IJCAI’03
Citations:37 - 6 self