Date: 2013-08-13 02:41:33

Automata-Based Analysis of Recursive Programs with Threads Markus Müller-Olm Westfälische Wilhelms-Universität Münster, Germany 25 Years of Combining Concurrency and Compositionality Königswinter, 7.-9. August 2013

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 724,92 KB