[IEEE 2013 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Birmingham, United Kingdom (2013.07.1-2013.07.3)] 2013 International Symposium on Theoretical Aspects of Software Engineering - Verifying Bigraphical Models of Architectural Reconfigurations
Sanchez, Alejandro, Barbosa, Luis Soares, Riesco, DanielYear:
2013
Language:
english
DOI:
10.1109/tase.2013.25
File:
PDF, 363 KB
english, 2013