Englisch

Kraußer, Tina ; Mantel, Heiko ; Sudbrock, Henning (2007)
A Probabilistic Justification of the Combining Calculus under the Uniform Scheduler Assumption.
Report, Bibliographie

Mantel, Heiko ; Sudbrock, Henning ; Kraußer, Tina
Hrsg.: Puebla, German (2007)
Combining Different Proof Techniques for Verifying Information Flow Security.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Sudbrock, Henning ; Kraußer, Tina
Hrsg.: Puebla, German (2006)
Combining Different Proof Techniques for Verifying Information Flow Security.
Konferenzveröffentlichung, Bibliographie