@proceedings{Bouajjani2017,
 doi = {10.1007/978-3-319-60225-7},
 editor = {Ahmed Bouajjani and
Alexandra Silva},
 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{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings},
 year = {2017}
}

{"_id":"97vyiktqpcMDhFShD","bibbaseid":"bouajjani-silva-formaltechniquesfordistributedobjectscomponentsandsystems37thifipwg61internationalconferenceforte2017heldaspartofthe12thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2017neuchtelswitzerlandjune19222017proceedings-2017","bibdata":{"bibtype":"proceedings","type":"proceedings","doi":"10.1007/978-3-319-60225-7","editor":[{"firstnames":["Ahmed"],"propositions":[],"lastnames":["Bouajjani"],"suffixes":[]},{"firstnames":["Alexandra"],"propositions":[],"lastnames":["Silva"],"suffixes":[]}],"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, Switzerland, June 19-22, 2017, Proceedings","year":"2017","bibtex":"@proceedings{Bouajjani2017,\n doi = {10.1007/978-3-319-60225-7},\n editor = {Ahmed Bouajjani and\nAlexandra Silva},\n 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{\\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings},\n year = {2017}\n}\n\n","editor_short":["Bouajjani, A.","Silva, A."],"key":"Bouajjani2017","id":"Bouajjani2017","bibbaseid":"bouajjani-silva-formaltechniquesfordistributedobjectscomponentsandsystems37thifipwg61internationalconferenceforte2017heldaspartofthe12thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2017neuchtelswitzerlandjune19222017proceedings-2017","role":"editor","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"proceedings","biburl":"https://alexandrasilva.org/files/silva.bib","dataSources":["BQAtJ795ujcMgoxSg","g3oJeDsRp4CMAYtS6"],"keywords":[],"search_terms":["formal","techniques","distributed","objects","components","systems","37th","ifip","international","conference","forte","2017","held","part","12th","international","federated","conference","distributed","computing","techniques","discotec","2017","neuch","tel","switzerland","june","2017","proceedings"],"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, Switzerland, June 19-22, 2017, Proceedings","year":2017}