Stateful Protocol Composition and Typing (English)
Free access
- New search for: Hess, Andreas Viktor
- New search for: Mödersheim, Sebastian Alexander
- New search for: Brucker, Achim D.
- New search for: Hess, Andreas Viktor
- New search for: Mödersheim, Sebastian Alexander
- New search for: Brucker, Achim D.
- Article (Journal) / Electronic Resource
-
Title:Stateful Protocol Composition and Typing
-
Contributors:Hess, Andreas Viktor ( author ) / Mödersheim, Sebastian Alexander ( author ) / Brucker, Achim D. ( author )
-
Publication date:2020-01-01
-
Remarks:Hess , A V , Mödersheim , S A & Brucker , A D 2020 , ' Stateful Protocol Composition and Typing ' , Archive of Formal Proofs .
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
- New search for: 621
- Further information on Dewey Decimal Classification
-
Keywords:
-
Classification:
DDC: 621 -
Source: