Original language | English (US) |
---|---|
Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Volume | 9039 |
State | Published - 2015 |
Event | 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015 - Grenoble, France Duration: Jun 2 2015 → Jun 4 2015 |
ASJC Scopus subject areas
- Theoretical Computer Science
- General Computer Science