Matthias Daum (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

5		Matthias Daum, Norbert Schirmer, Mareike Schmidt: Implementation Correctness of a Real-Time Operating System. SEFM 2009: 23-32
2		Matthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff: A Verification Approach for System-Level Concurrent Programs. VSTTE 2008: 161-176

Selection of 2 from 5 records - Matthias Daum has 7 coauthors