Publications

Verifying Bigraphical Models of Architectural Reconfigurations

AuthID
P-008-FM8

Author(s)

Sanchez, A

Soares Barbosa, LS

Riesco, D

Document Type

Proceedings Paper

Year published

2013

Published

in 2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE) in TASE

Pages: 135-138 (4)

Conference

7Th International Symposium on Theoretical Aspects of Software Engineering (Tase), Date: JUL 01-03, 2013, Location: Birmingham, ENGLAND, Sponsors: IEEE Comp Soc, Aston Univ, Engn & Appl Sci

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/278152

Crossref^®3

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/tase.2013.25

Dblp: conf/tase/SanchezBR13

Scopus: 2-s2.0-84886420810

Wos: WOS:000332185400019

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Verifying Bigraphical Models of Architectural Reconfigurations

Useful Links

Get Help

Federated Authentication (Click on the image)

Verifying Bigraphical Models of Architectural Reconfigurations

Useful Links

Get Help