@inproceedings{hniid=10142,
author = {Koch, Thorsten and Dziwok, Stefan and Holtmann, J{\"o}rg and Bodden, Eric},
title = {Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers},
booktitle = {ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20)},
publisher = {ACM},
month = {18~-~23~} # oct,
year = {2020},
}