A Testing Strategy of Nondeterministic Message Passing Programs

Dieter Kranzlmüller, Jens Jürgen Volkert, Christian Schaubschläger

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	High Performance Computing Systems and Applications
Editors	The Kluwer Intl.Series in Engineering and Computer Science
Publisher	Kluwer Academic Publishers
Pages	49 - 63
Number of pages	15
Volume	541
ISBN (Print)	0-7923-7774-5
Publication status	Published - Mar 2000

Fields of science

@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",

}

A Testing Strategy of Nondeterministic Message Passing Programs. / Kranzlmüller, Dieter; Volkert, Jens Jürgen; Schaubschläger, Christian.
High Performance Computing Systems and Applications. ed. / The Kluwer Intl.Series in Engineering and Computer Science. Vol. 541 Kluwer Academic Publishers, 2000. p. 49 - 63.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

TY - CHAP

T1 - A Testing Strategy of Nondeterministic Message Passing Programs

AU - Kranzlmüller, Dieter

AU - Volkert, Jens Jürgen

AU - Schaubschläger, Christian

PY - 2000/3

Y1 - 2000/3

M3 - Chapter

SN - 0-7923-7774-5

VL - 541

SP - 49

EP - 63

BT - High Performance Computing Systems and Applications

A2 - The Kluwer Intl.Series in Engineering and Computer Science, null

PB - Kluwer Academic Publishers

ER -