ls3-www.cs.tu-dortmund.de/cms/de/publikationen/WeW02/index.html
[WeW02] - Lehrstuhl 3 - Fakultät für Informatik - TU Dortmund
Their Absence, in Distributed Systems Tools and Algorithms for the Construction and Analysis of Systems 8th International Conference (TACAS 2002), Hrsg.: J. P. Katoen und P. Stevens, (2280), Springer-Verlag …