Publications

2014
Link
[bibtex]
Erika Abraham, Alberto Avritzer, Anne Remke, William H. Sanders editors. Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Volume 4 of Dagstuhl Reports, 2014.