@inproceedings{b9abcab1dae84ddc8856ff6f5c4f3977,
title = "Formal techniques for distributed objects, components, and systems: 35th IFIP WG 6.1 international conference, FORTE 2015 held as part of the 10th international federated conference on distributed computing techniques, discotec 2015 grenoble, france, june 2-4, 2015 proceedings",
author = "Susanne Graf and Mahesh Viswanathan",
year = "2015",
language = "English (US)",
isbn = "9783319191942",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
editor = "Susanne Graf and Mahesh Viswanathan",
booktitle = "Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Proceedings",
address = "Germany",
note = "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 ; Conference date: 02-06-2015 Through 04-06-2015",
}