Number of items: 2.
Conference or Workshop Item (A Paper)
Groß, Thomas and Mödersheim, Sebastian
(2011)
Vertical Protocol Composition.
Backes, Michael and Groß, Thomas
(2005)
Tailoring the Dolev-Yao Abstraction to Web Services Realities - A Comprehensive Wish List.
This list was generated on Thu Nov 21 13:18:17 2024 CET.