Verification of Distributed Applications.

Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan

Browse the full SAFECOMP paper archive.