@inbook{0054fa6541d3460d97b828447bbb2411,
title = "A Testing Strategy of Nondeterministic Message Passing Programs",
author = "Dieter Kranzlm{\"u}ller and Volkert, \{Jens J{\"u}rgen\} and Christian Schaubschl{\"a}ger",
year = "2000",
month = mar,
language = "English",
isbn = "0-7923-7774-5",
volume = "541",
pages = "49 -- 63",
editor = "\{The Kluwer Intl.Series in Engineering and Computer Science\}",
booktitle = "High Performance Computing Systems and Applications",
publisher = "Kluwer Academic Publishers",
}