NOPE: A Nondeterministic Program Evaluator

Dieter Kranzlmüller, Jens Jürgen Volkert

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings

Original language	English
Title of host publication	Proc. ACPC 99, Intl. Conference, Salzburg, Austria
Pages	490-499
Number of pages	10
DOIs	https://doi.org/10.1007/3-540-49164-3_47
Publication status	Published - Feb 1999

Fields of science

@inproceedings{49c6b5520cb641e49d9022f54eaddace,

title = "NOPE: A Nondeterministic Program Evaluator",

author = "Dieter Kranzlm{\"u}ller and Volkert, {Jens J{\"u}rgen}",

year = "1999",

month = feb,

doi = "10.1007/3-540-49164-3_47",

language = "English",

pages = "490--499",

booktitle = "Proc. ACPC 99, Intl. Conference, Salzburg, Austria",

}