Verifying Bigraphical Models of Architectural Reconfigurations

Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco. Verifying Bigraphical Models of Architectural Reconfigurations. In Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK. pages 135-138, IEEE, 2013. [doi]

Authors

Alejandro Sanchez

This author has not been identified. Look up 'Alejandro Sanchez' in Google

Luís Soares Barbosa

This author has not been identified. Look up 'Luís Soares Barbosa' in Google

Daniel Riesco

This author has not been identified. Look up 'Daniel Riesco' in Google