@InProceedings{Langenstein:VERIFY07-70,
  author =       "Bruno Langenstein and Andreas Nonnengart and Georg
                 Rock and Werner Stephan",
  title =        "A History-Based Verification of Distributed
                 Applications",
  booktitle =    "Proceedings, 4th International Verification Workshop
                 (VERIFY), Bremen, Germany",
  editor =       "Bernhard Beckert",
  pages =        "70--84",
  year =         "2007",
  series =       "CEUR Workshop Proceedings",
  volume =       "259",
  publisher =    "CEUR-WS.org",
  URL =          "http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-259/paper08.pdf",
}