Original language | English |
---|---|
Title of host publication | Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers |
Volume | 7253 |
Publisher | Springer VS |
Publication date | 2012 |
Pages | 61-78 |
DOIs | |
Publication status | Published - 2012 |
Series | Lecture Notes in Computer Science |
---|---|
Volume | 7253 |
ISSN | 0302-9743 |