%0 Conference Paper %1 conf/facs2/BistarelliMMS16 %A Bistarelli, Stefano %A Martinelli, Fabio %A Matteucci, Ilaria %A Santini, Francesco %B FACS %D 2016 %E Kouchnarenko, Olga %E Khosravi, Ramtin %K dblp %P 134-152 %T A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property. %U http://dblp.uni-trier.de/db/conf/facs2/facs2016.html#BistarelliMMS16 %V 10231 %@ 978-3-319-57666-4

@inproceedings{conf/facs2/BistarelliMMS16, added-at = {2023-09-30T00:00:00.000+0200}, author = {Bistarelli, Stefano and Martinelli, Fabio and Matteucci, Ilaria and Santini, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/28782e4a8a4207c6f30d30baa3e646db3/dblp}, booktitle = {FACS}, crossref = {conf/facs2/2016}, editor = {Kouchnarenko, Olga and Khosravi, Ramtin}, ee = {https://doi.org/10.1007/978-3-319-57666-4_9}, interhash = {23b465c647ca9b0dccf285d6a1d3bff3}, intrahash = {8782e4a8a4207c6f30d30baa3e646db3}, isbn = {978-3-319-57666-4}, keywords = {dblp}, pages = {134-152}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T07:16:22.000+0200}, title = {A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property.}, url = {http://dblp.uni-trier.de/db/conf/facs2/facs2016.html#BistarelliMMS16}, volume = 10231, year = 2016 }