Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan. Verification of Distributed Applications. In Francesca Saglietti, Norbert Oster, editors, Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Volume 4680 of Lecture Notes in Computer Science, pages 315-328, Springer, 2007. [doi]
Abstract is missing.