@InProceedings{Langenstein:SAFECOMP07-315,
  author =       "Bruno Langenstein and Andreas Nonnengart and Georg
                 Rock and Werner Stephan",
  title =        "Verification of Distributed Applications",
  pages =        "315--328",
  ee =           "http://dx.doi.org/10.1007/978-3-540-75101-4_31",
  editor =       "Francesca Saglietti and Norbert Oster",
  booktitle =    "Computer Safety, Reliability, and Security, 26th
                 International Conference, {SAFECOMP} 2007, Nuremberg,
                 Germany, September 18--21, 2007",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "4680",
  year =         "2007",
  ISBN =         "978-3-540-75100-7",
}