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