Cormac Flanagan, Susanne Graf, Madhusan Parthasarathy, Shaz Qadeer. 09361 Abstracts Collection - Design and Validation of Concurrent Systems. In 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]
@inproceedings{FlanaganGPQ09,
title = {09361 Abstracts Collection - Design and Validation of Concurrent Systems},
author = {Cormac Flanagan and Susanne Graf and Madhusan Parthasarathy and Shaz Qadeer},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2549/},
researchr = {https://researchr.org/publication/FlanaganGPQ09},
cites = {0},
citedby = {0},
booktitle = {Design and Validation of Concurrent Systems, 30.08. - 04.09.2009},
editor = {Cormac Flanagan and Madhusan Parthasarathy and Shaz Qadeer},
volume = {09361},
series = {Dagstuhl Seminar Proceedings},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany},
}