Design and Validation of Concurrent Systems, 30.08. - 04.09.2009

Cormac Flanagan, Madhusan Parthasarathy, Shaz Qadeer, editors, Design and Validation of Concurrent Systems, 30.08. - 04.09.2009. Volume 09361 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009. [doi]

Conference: Dagstuhl2009

Abstract

Abstract is missing.

Table of Contents