Research Atlas
Select a language
English (United States)
Deutsch (Deutschland)
Index
Log in via ORCiD
Search form
Menu
Home
People
Organizations
Research
Events
Verifying Patterns of Dynamic Architectures using Model Checking
Academic Article
Overview
Identity
View All
Overview
authors
Degenhardt, Silvio
publication date
March 20, 2017
has subject area
architecture
computer science
philosophy
published in
arXiv (Cornell University)
Identity
Digital Object Identifier (DOI)
https://doi.org/10.4204/eptcs.245.2
