TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 3.

Mantel, Heiko ; Sudbrock, Henning ; Krausser, Tina
Puebla, Germán (ed.) (2007):
Combining Different Proof Techniques for Verifying Information Flow Security.
In: LNCS, 4407, In: 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006,
Springer, [Conference or Workshop Item]

Krausser, Tina ; Mantel, Heiko ; Sudbrock, Henning (2007):
A Probabilistic Justification of the Combining Calculus under the Uniform Scheduler Assumption.
(2007-09), [Report]

Mantel, Heiko ; Sudbrock, Henning ; Krausser, Tina
Puebla, Germán (ed.) (2006):
Combining Different Proof Techniques for Verifying Information Flow Security.
In: In Pre-Proceedings of 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, pp. 85--101,
Raporta di Ricerca CS-2006-5, Università Ca' Foscari Di Venezia, [Conference or Workshop Item]

This list was generated on Tue Jun 22 00:56:37 2021 CEST.