Marmsoler, DiegoBecker, SteffenBogicevic, IvanHerzwurm, GeorgWagner, Stefan2019-03-142019-03-142019978-3-88579-686-2https://dl.gi.de/handle/20.500.12116/20914enVerifying Dynamic Architectures using Model Checking and Interactive Theorem ProvingText/Conference Poster10.18420/se2019-521617-5468