Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara:

Unfolding-based Diagnosis of Systems with an Evolving Topology

In: Concurrency Theory : Proceedings of the 19th International Conference, CONCUR 2008. - (Lecture Notes in Computer Science ; 5201)
Berlin [u.a.]: Springer (2008), S. 203-217
ISBN: 3-540-85360-X
Buchaufsatz / Kapitel / Fach: Informatik