A Survey of Verification Techniques for Parallel ProgramsISBN: 9783540394167Platform/Publisher: SpringerLink / Springer Berlin HeidelbergDigital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; No description is available.