Publications

cimatti2003formal

Summary

Cimatti, A., Pecheur, C. and Cavada, R. (2003) Formal verification of diagnosability via symbolic model checking. In Proceedings of IJCAI'03.

BibTeX Entry

@INPROCEEDINGS { cimatti2003formal,
    TITLE = { Formal verification of diagnosability via symbolic model checking },
    AUTHOR = { Cimatti, A. and Pecheur, C. and Cavada, R. },
    BOOKTITLE = { Proceedings of IJCAI'03 },
    YEAR = { 2003 },
}