Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams, editors, Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11. - 12.11.2010. Volume 10451 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010. [doi]
Conference: Dagstuhl2010
@proceedings{dagstuhl-2010P10451,
title = {Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11. - 12.11.2010},
year = {2010},
url = {http://drops.dagstuhl.de/portals/10451/},
researchr = {https://researchr.org/publication/dagstuhl-2010P10451},
cites = {0},
citedby = {0},
booktitle = {Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11. - 12.11.2010},
conference = {Dagstuhl},
editor = {Klaus Havelund and Martin Leucker and Martin Sachenbacher and Oleg Sokolsky and Brian C. Williams},
volume = {10451},
series = {Dagstuhl Seminar Proceedings},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany},
}