Anika Schumann, Yannick Pencolé. Scalable Diagnosability Checking of Event-Driven Systems. In Manuela M. Veloso, editor, IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007. pages 575-580, 2007. [doi]
@inproceedings{SchumannP07, title = {Scalable Diagnosability Checking of Event-Driven Systems}, author = {Anika Schumann and Yannick Pencolé}, year = {2007}, url = {http://dli.iiit.ac.in/ijcai/IJCAI-2007/PDF/IJCAI07-091.pdf}, researchr = {https://researchr.org/publication/SchumannP07}, cites = {0}, citedby = {0}, pages = {575-580}, booktitle = {IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007}, editor = {Manuela M. Veloso}, }