- 2015.
Retrieved May 19, 2015.
Christoph Baumann,
Bernhard Beckert,
Holger Blasum, and
Thorsten Bormer Ingredients of
Operating System Correctness? Lessons...
- May 2015.
Retrieved 19 May 2015. Baumann, Christoph; Beckert, Bernhard;
Blasum, Holger; Bormer, Thorsten.
Ingredients of
Operating System Correctness?...
- 1046/j.1365-2141.1997.412687.x. PMID 9163598. S2CID 23283382.
Wozel G,
Blasum C (March 2014). "Dapsone in
dermatology and beyond".
Archives of Dermatological...
- doi:10.1016/j.brainres.2003.11.040. PMID 14759500. S2CID 6110585.
Wozel G,
Blasum C (March 2014). "Dapsone in
dermatology and beyond".
Archives of Dermatological...
