Verifying Reliability (Dagstuhl Seminar 12341)

Görschwin Fey, Masahiro Fujita, Natasa Miskov-Zivanov, Kaushik Roy, Matteo Sonza Reorda. Verifying Reliability (Dagstuhl Seminar 12341). Dagstuhl Reports, 2(8):57-73, 2012. [doi]

Abstract

Abstract is missing.