Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Sw
| Title | Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Sw |
| Publication Type | Conference Proceedings |
| Year of Publication | 2017 |
| Secondary Authors | Ahmed Bouajjani, Alexandra Silva |
| Conference Name | Lecture Notes in Computer Science |
| Volume | 10321 |
| Publisher | Springer |
| ISBN Number | 978-3-319-60224-0 |
| Keywords | 1329759 |
| URL | https://doi.org/10.1007/978-3-319-60225-7 |
| DOI | 10.1007/978-3-319-60225-7 |
| Citation Key | DBLP:conf/forte/2017 |