Y. Le Traon, F. Ouabdesselam, C. Robach, B. Baudry. From Diagnosis to Diagnosability: Axomatisation, Measurement and Application. Journal of Systems and Software, 65(1):33-50, January 2003.
@article{ACL-03:vasco-22,
Author = {Le Traon, Y. and Ouabdesselam, F. and Robach, C. and Baudry, B.},
Title = {{From Diagnosis to Diagnosability: Axomatisation, Measurement and Application}},
Journal = {Journal of Systems and Software},
Volume = {65(1)},
Pages = {33--50},
Month = {January},
Year = {2003}
}
Get EndNote Reference (.ref)