ML Anthology

Diagnosers and Diagnosability of Succinct Transition Systems

Jussi Rintanen
IJCAI 2007 pp. 538-544
/ijcai/2007/rintanen2007ijcai-diagnosers/
PDF IJCAI Semantic Scholar

Cite

Text

Rintanen. "Diagnosers and Diagnosability of Succinct Transition Systems." International Joint Conference on Artificial Intelligence, 2007.

Markdown

[Rintanen. "Diagnosers and Diagnosability of Succinct Transition Systems." International Joint Conference on Artificial Intelligence, 2007.](https://mlanthology.org/ijcai/2007/rintanen2007ijcai-diagnosers/)

BibTeX

@inproceedings{rintanen2007ijcai-diagnosers,
  title     = {{Diagnosers and Diagnosability of Succinct Transition Systems}},
  author    = {Rintanen, Jussi},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {538-544},
  url       = {https://mlanthology.org/ijcai/2007/rintanen2007ijcai-diagnosers/}
}