@incollection{DBLP:series/lncs/BertolinoAGMSS12,
  author    = {Antonia Bertolino and
               Guglielmo De Angelis and
               Felicita Di Giandomenico and
               Eda Marchetti and
               Antonino Sabetta and
               Paola Spoletini},
  title     = {Verification and Analysis of Autonomic Systems for Networked Enterprises},
  booktitle = {Methodologies and Technologies for Networked Enterprises - ArtDeco:
               Adaptive Infrastructures for Decentralised Organisations},
  pages     = {143--169},
  year      = {2012},
  crossref  = {DBLP:series/lncs/7200},
  url       = {https://doi.org/10.1007/978-3-642-31739-2_8},
  doi       = {10.1007/978-3-642-31739-2_8},
  timestamp = {Tue, 16 May 2017 14:24:27 +0200},
  biburl    = {http://dblp.org/rec/bib/series/lncs/BertolinoAGMSS12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

{"_id":"AcE7TDv6rbr9mFugk","bibbaseid":"bertolino-angelis-giandomenico-marchetti-sabetta-spoletini-verificationandanalysisofautonomicsystemsfornetworkedenterprises-2012","downloads":0,"creationDate":"2018-01-16T21:29:06.206Z","title":"Verification and Analysis of Autonomic Systems for Networked Enterprises","author_short":["Bertolino, A.","Angelis, G. D.","Giandomenico, F. D.","Marchetti, E.","Sabetta, A.","Spoletini, P."],"year":2012,"bibtype":"incollection","biburl":"http://dblp.org/pers/tb2/m/Marchetti:Eda","bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Antonia"],"propositions":[],"lastnames":["Bertolino"],"suffixes":[]},{"firstnames":["Guglielmo","De"],"propositions":[],"lastnames":["Angelis"],"suffixes":[]},{"firstnames":["Felicita","Di"],"propositions":[],"lastnames":["Giandomenico"],"suffixes":[]},{"firstnames":["Eda"],"propositions":[],"lastnames":["Marchetti"],"suffixes":[]},{"firstnames":["Antonino"],"propositions":[],"lastnames":["Sabetta"],"suffixes":[]},{"firstnames":["Paola"],"propositions":[],"lastnames":["Spoletini"],"suffixes":[]}],"title":"Verification and Analysis of Autonomic Systems for Networked Enterprises","booktitle":"Methodologies and Technologies for Networked Enterprises - ArtDeco: Adaptive Infrastructures for Decentralised Organisations","pages":"143--169","year":"2012","crossref":"DBLP:series/lncs/7200","url":"https://doi.org/10.1007/978-3-642-31739-2_8","doi":"10.1007/978-3-642-31739-2_8","timestamp":"Tue, 16 May 2017 14:24:27 +0200","biburl":"http://dblp.org/rec/bib/series/lncs/BertolinoAGMSS12","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@incollection{DBLP:series/lncs/BertolinoAGMSS12,\n author = {Antonia Bertolino and\n Guglielmo De Angelis and\n Felicita Di Giandomenico and\n Eda Marchetti and\n Antonino Sabetta and\n Paola Spoletini},\n title = {Verification and Analysis of Autonomic Systems for Networked Enterprises},\n booktitle = {Methodologies and Technologies for Networked Enterprises - ArtDeco:\n Adaptive Infrastructures for Decentralised Organisations},\n pages = {143--169},\n year = {2012},\n crossref = {DBLP:series/lncs/7200},\n url = {https://doi.org/10.1007/978-3-642-31739-2_8},\n doi = {10.1007/978-3-642-31739-2_8},\n timestamp = {Tue, 16 May 2017 14:24:27 +0200},\n biburl = {http://dblp.org/rec/bib/series/lncs/BertolinoAGMSS12},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Bertolino, A.","Angelis, G. D.","Giandomenico, F. D.","Marchetti, E.","Sabetta, A.","Spoletini, P."],"key":"DBLP:series/lncs/BertolinoAGMSS12","id":"DBLP:series/lncs/BertolinoAGMSS12","bibbaseid":"bertolino-angelis-giandomenico-marchetti-sabetta-spoletini-verificationandanalysisofautonomicsystemsfornetworkedenterprises-2012","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-31739-2_8"},"downloads":0},"search_terms":["verification","analysis","autonomic","systems","networked","enterprises","bertolino","angelis","giandomenico","marchetti","sabetta","spoletini"],"keywords":[],"authorIDs":[],"dataSources":["rQyuP7Aybi6sojugm"]}