Unfolding-based Diagnosis of Systems with an Evolving Topology
Reference
Paolo Baldan, Thomas Chatain, Stefan Haar, and Barbara König. Unfolding-based diagnosis of systems with an evolving topology. In Proc. of CONCUR '08, pages 203–217. Springer, 2008. LNCS 5201.
Suggested BibTeX entry:
@inproceedings{BCHK08,
author = {Paolo Baldan and Thomas Chatain and Stefan Haar and Barbara K{\"o}nig},
booktitle = {Proc. of CONCUR '08},
note = {{LNCS} 5201},
pages = {203--217},
publisher = {Springer},
title = {Unfolding-based Diagnosis of Systems with an Evolving Topology},
year = {2008}
}