ML Anthology

Scalable Diagnosability Checking of Event-Driven Systems

Anika Schumann, Yannick Pencolé
IJCAI 2007 pp. 575-580
/ijcai/2007/schumann2007ijcai-scalable/
PDF IJCAI Semantic Scholar

Cite

Text

Schumann and Pencolé. "Scalable Diagnosability Checking of Event-Driven Systems." International Joint Conference on Artificial Intelligence, 2007.

Markdown

[Schumann and Pencolé. "Scalable Diagnosability Checking of Event-Driven Systems." International Joint Conference on Artificial Intelligence, 2007.](https://mlanthology.org/ijcai/2007/schumann2007ijcai-scalable/)

BibTeX

@inproceedings{schumann2007ijcai-scalable,
  title     = {{Scalable Diagnosability Checking of Event-Driven Systems}},
  author    = {Schumann, Anika and Pencolé, Yannick},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {575-580},
  url       = {https://mlanthology.org/ijcai/2007/schumann2007ijcai-scalable/}
}