Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031)

Erika Ábrahám, Alberto Avritzer, Anne Remke, William H. Sanders. Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031). Dagstuhl Reports, 4(1):36-82, 2014. [doi]

Abstract

Abstract is missing.