{"_id":"6J34MvXmJXyA5Rdbt","bibbaseid":"bistarelli-martinelli-matteucci-santini-aformalandruntimeframeworkfortheadaptationoflocalbehaviourstomatchaglobalproperty-2016","author_short":["Bistarelli, S.","Martinelli, F.","Matteucci, I.","Santini, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Stefano"],"propositions":[],"lastnames":["Bistarelli"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Martinelli"],"suffixes":[]},{"firstnames":["Ilaria"],"propositions":[],"lastnames":["Matteucci"],"suffixes":[]},{"firstnames":["Francesco"],"propositions":[],"lastnames":["Santini"],"suffixes":[]}],"editor":[{"firstnames":["Olga"],"propositions":[],"lastnames":["Kouchnarenko"],"suffixes":[]},{"firstnames":["Ramtin"],"propositions":[],"lastnames":["Khosravi"],"suffixes":[]}],"title":"A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property","booktitle":"Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers","series":"Lecture Notes in Computer Science","volume":"10231","pages":"134–152","year":"2016","url":"https://doi.org/10.1007/978-3-319-57666-4\\_9","doi":"10.1007/978-3-319-57666-4_9","timestamp":"Sat, 30 Sep 2023 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/facs2/BistarelliMMS16.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/facs2/BistarelliMMS16,\n author = {Stefano Bistarelli and\n Fabio Martinelli and\n Ilaria Matteucci and\n Francesco Santini},\n editor = {Olga Kouchnarenko and\n Ramtin Khosravi},\n title = {A Formal and Run-Time Framework for the Adaptation of Local Behaviours\n to Match a Global Property},\n booktitle = {Formal Aspects of Component Software - 13th International Conference,\n {FACS} 2016, Besan{\\c{c}}on, France, October 19-21, 2016, Revised\n Selected Papers},\n series = {Lecture Notes in Computer Science},\n volume = {10231},\n pages = {134--152},\n year = {2016},\n url = {https://doi.org/10.1007/978-3-319-57666-4\\_9},\n doi = {10.1007/978-3-319-57666-4\\_9},\n timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/facs2/BistarelliMMS16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bistarelli, S.","Martinelli, F.","Matteucci, I.","Santini, F."],"editor_short":["Kouchnarenko, O.","Khosravi, R."],"key":"DBLP:conf/facs2/BistarelliMMS16","id":"DBLP:conf/facs2/BistarelliMMS16","bibbaseid":"bistarelli-martinelli-matteucci-santini-aformalandruntimeframeworkfortheadaptationoflocalbehaviourstomatchaglobalproperty-2016","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-57666-4\\_9"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/53/6380.bib","dataSources":["PCdRvyaDZRZMeqKhf","T6HLi2LBH4teAezac","LXyJ7X9n6g55d9qgh","DjivyTGGA5qit7Mf4","NMm7YpyiDxjcnpopo","WXL4P7BKHQy7Qss6y"],"keywords":[],"search_terms":["formal","run","time","framework","adaptation","local","behaviours","match","global","property","bistarelli","martinelli","matteucci","santini"],"title":"A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property","year":2016}