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
@proceedings{dagstuhl-2009P9361, title = {Design and Validation of Concurrent Systems, 30.08. - 04.09.2009}, year = {2009}, url = {http://drops.dagstuhl.de/portals/09361/}, researchr = {https://researchr.org/publication/dagstuhl-2009P9361}, cites = {0}, citedby = {0}, booktitle = {Design and Validation of Concurrent Systems, 30.08. - 04.09.2009}, conference = {Dagstuhl}, editor = {Cormac Flanagan and Madhusan Parthasarathy and Shaz Qadeer}, volume = {09361}, series = {Dagstuhl Seminar Proceedings}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany}, }