Concepedia
Statistics
Publications
1
Citations
11
H-Index
Active since
2008
Affiliations
Saarland University(Current)
Sebastian Bogan is an author at Saarland University.
Publications per year
2008–2008
Model stack for the pervasive verification of a microkernel-based operating system
Matthias Daum, Jan Dörrenbächer, Sebastian Bogan · 2008 · 11 citations
1–1 of 1