Unfolding-based diagnosis of systems with an evolving topology

Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König. Unfolding-based diagnosis of systems with an evolving topology. Inf. Comput., 208(10):1169-1192, 2010. [doi]

@article{BaldanCHK10,
  title = {Unfolding-based diagnosis of systems with an evolving topology},
  author = {Paolo Baldan and Thomas Chatain and Stefan Haar and Barbara König},
  year = {2010},
  doi = {10.1016/j.ic.2009.11.009},
  url = {http://dx.doi.org/10.1016/j.ic.2009.11.009},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/BaldanCHK10},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {208},
  number = {10},
  pages = {1169-1192},
}