{"_id":"d5jjJj5krebjbJxxP","bibbaseid":"denicola-aformalapproachtoautonomicsystemsprogrammingthescellanguage-2014","authorIDs":["xMtf3sJqpfDS3bpdB"],"author_short":["De Nicola, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Rocco"],"propositions":[],"lastnames":["De Nicola"],"suffixes":[]}],"editor":[{"firstnames":["Stefano"],"propositions":[],"lastnames":["Bistarelli"],"suffixes":[]},{"firstnames":["Andrea"],"propositions":[],"lastnames":["Formisano"],"suffixes":[]}],"title":"A formal approach to autonomic systems programming: the SCEL language","booktitle":"Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014","series":"CEUR Workshop Proceedings","volume":"1231","pages":"1","publisher":"CEUR-WS.org","year":"2014","url":"http://ceur-ws.org/Vol-1231/invited1.pdf","timestamp":"Wed, 12 Feb 2020 16:44:17 +0100","biburl":"https://dblp.org/rec/conf/ictcs/Nicola14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ictcs/Nicola14,\n author = {Rocco {De Nicola}},\n editor = {Stefano Bistarelli and\n Andrea Formisano},\n title = {A formal approach to autonomic systems programming: the {SCEL} language},\n booktitle = {Proceedings of the 15th Italian Conference on Theoretical Computer\n Science, Perugia, Italy, September 17-19, 2014},\n series = {{CEUR} Workshop Proceedings},\n volume = {1231},\n pages = {1},\n publisher = {CEUR-WS.org},\n year = {2014},\n url = {http://ceur-ws.org/Vol-1231/invited1.pdf},\n timestamp = {Wed, 12 Feb 2020 16:44:17 +0100},\n biburl = {https://dblp.org/rec/conf/ictcs/Nicola14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["De Nicola, R."],"editor_short":["Bistarelli, S.","Formisano, A."],"key":"DBLP:conf/ictcs/Nicola14","id":"DBLP:conf/ictcs/Nicola14","bibbaseid":"denicola-aformalapproachtoautonomicsystemsprogrammingthescellanguage-2014","role":"author","urls":{"Paper":"http://ceur-ws.org/Vol-1231/invited1.pdf"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/n/RDNicola.bib","creationDate":"2020-05-13T16:09:46.269Z","downloads":0,"keywords":[],"search_terms":["formal","approach","autonomic","systems","programming","scel","language","de nicola"],"title":"A formal approach to autonomic systems programming: the SCEL language","year":2014,"dataSources":["FxajFA698pihqBfpX"]}