APA Citation

Berger, U. (2016). Extracting nondeterministic concurrent programs. 25th EACSL Annual Conference on Computer Science Logic (CSL 2016)., 62, pp. 26:1-26:21. doi:10.4230/LIPIcs.CSL.2016.26

Chicago Style Citation

Berger, Ulrich. "Extracting Nondeterministic Concurrent Programs." 25th EACSL Annual Conference On Computer Science Logic (CSL 2016). 62 (2016): 26:1-26:21.

MLA Citation

Berger, Ulrich. "Extracting Nondeterministic Concurrent Programs." 25th EACSL Annual Conference On Computer Science Logic (CSL 2016). 62 (2016): 26:1-26:21.

Warning: These citations may not always be 100% accurate.