@inproceedings{SAFECOMP07,
  author    = {Bruno Langenstein and
               Andreas Nonnengart and
               Georg Rock and
               Werner Stephan},
  title     = {Verification of Distributed Applications},
  booktitle = {Computer Safety, Reliability, and Security, 26th International
               Conference, SAFECOMP 2007, Nuremberg, Germany, September
               18-21},
  year      = {2007},
  publisher = {Springer, Lecture Notes in Computer Science, Volume 4680},
  pages     = {315-328}
}