MODELS 2020 (series) / Thorsten Koch
Registered user since Tue 30 Jun 2020
Name: Thorsten Koch
Contributions
MODELS 2020 | Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
MODELS 2020-profile
View general profile
View general profile