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]

Authors

Görschwin Fey

This author has not been identified. Look up 'Görschwin Fey' in Google

Masahiro Fujita

This author has not been identified. Look up 'Masahiro Fujita' in Google

Natasa Miskov-Zivanov

This author has not been identified. Look up 'Natasa Miskov-Zivanov' in Google

Kaushik Roy

This author has not been identified. Look up 'Kaushik Roy' in Google

Matteo Sonza Reorda

This author has not been identified. Look up 'Matteo Sonza Reorda' in Google