Showing 1 - 3 results of 3 for search 'Anlauff, M', query time: 0.04s
Refine Results
-
1
On Specification Carrying Software‚ its Refinement and Composition by Anlauff, M, Pavlovic, D
Published 2002Conference item -
2
Deriving secure network protocols for enterprise service architectures by Anlauff, M, Pavlovic, D, Sünbül, A
Published 2006Conference item -
3
Proving Authentication Properties in the Protocol Derivation Assistant by Anlauff, M, Pavlovic, D, Waldinger, R, Westfold, S
Published 2006Conference item