Formal Techniques for Distributed Objects, Components, and Systems - 34th International Conference (FORTE)
| Title | Formal Techniques for Distributed Objects, Components, and Systems - 34th International Conference (FORTE) |
| Publication Type | Book |
| Year of Publication | 2014 |
| Authors | Ábrahám, E, Palamidessi, C |
| Series Title | Lecture Notes in Computer Science |
| Volume | 8461 |
| Publisher | Springer |
| ISBN Number | 978-3-662-43612-7 |
| URL | http://dx.doi.org/10.1007/978-3-662-43613-4 |
| DOI | 10.1007/978-3-662-43613-4 |
Work Package:
WP3
