Verifying Bigraphical Models of Architectural Reconfigurations

AuthID
 P-008-FM8
3
Author(s)
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®
Publication Identifiers
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.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service