Verifying Bigraphical Models of Architectural Reconfigurations.

Alejandro Sanchez, Lus Soares Barbosa, Daniel Riesco

Browse the full TASE paper archive.