Research output per year
Research output per year
Ricardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Original language | English |
---|---|
Title of host publication | Formal Methods for Open Object-Based Distributed Systems |
Subtitle of host publication | 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings |
Editors | Martin Steffen, Gianluigi Zavattaro |
Place of Publication | Berlin, Heidelberg |
Publisher | Springer |
Pages | 131-146 |
Number of pages | 16 |
ISBN (Electronic) | 978-3-540-31556-8 |
ISBN (Print) | 978-3-540-26181-0 |
DOIs | |
Publication status | Published - Jun 2005 |
Event | 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2005 - Athens, Greece Duration: 15 Jun 2005 → 17 Jun 2005 Conference number: 7 |
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 3535 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference | 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2005 |
---|---|
Abbreviated title | FMOODS |
Country/Territory | Greece |
City | Athens |
Period | 15/06/05 → 17/06/05 |
Research output: Book/Report › Report › Professional