User: Guest  Login
Document type:
Magazinartikel 
Author(s):
Diego Marmsoler, Ana Petrovska 
Title:
Runtime Verification for Dynamic Architectures 
Journal title:
Journal of Logical and Algebraic Methods in Programming 
Year:
2020 
Status:
Preprint / submitted