@inproceedings{ dblp2017272,
  title = {Adaptive REST applications via model inference and probabilistic model checking},
  author = {Carlo Ghezzi and Mauro Pezzè and Giordano Tamburrelli},
  author_short = {Ghezzi, C. and Pezzè, M. and Tamburrelli, G.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2013},
  key = {dblp2017272},
  id = {dblp2017272},
  biburl = {http://www.dblp.org/rec/bibtex/conf/im/GhezziPT13},
  url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6573195},
  conference = {IM},
  pages = {1376-1382},
  text = {IM 2013:1376-1382},
  booktitle = {Proceedings of Integrated Network Management (IM)}
}

{"_id":"SorCjyorf5MjXx2re","bibbaseid":"ghezzi-pezz-tamburrelli-adaptiverestapplicationsviamodelinferenceandprobabilisticmodelchecking-2013","downloads":0,"creationDate":"2015-08-08T08:46:12.433Z","title":"Adaptive REST applications via model inference and probabilistic model checking","author_short":["Ghezzi, C.","Pezzè, M.","Tamburrelli, G."],"year":2013,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/im/GhezziPT13","bibdata":{"title":"Adaptive REST applications via model inference and probabilistic model checking","author":["Carlo Ghezzi","Mauro Pezzè","Giordano Tamburrelli"],"author_short":["Ghezzi, C.","Pezzè, M.","Tamburrelli, G."],"bibtype":"inproceedings","type":"inproceedings","year":"2013","key":"dblp2017272","id":"dblp2017272","biburl":"http://www.dblp.org/rec/bibtex/conf/im/GhezziPT13","url":"http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6573195","conference":"IM","pages":"1376-1382","text":"IM 2013:1376-1382","booktitle":"Proceedings of Integrated Network Management (IM)","bibtex":"@inproceedings{ dblp2017272,\n title = {Adaptive REST applications via model inference and probabilistic model checking},\n author = {Carlo Ghezzi and Mauro Pezzè and Giordano Tamburrelli},\n author_short = {Ghezzi, C. and Pezzè, M. and Tamburrelli, G.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2013},\n key = {dblp2017272},\n id = {dblp2017272},\n biburl = {http://www.dblp.org/rec/bibtex/conf/im/GhezziPT13},\n url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6573195},\n conference = {IM},\n pages = {1376-1382},\n text = {IM 2013:1376-1382},\n booktitle = {Proceedings of Integrated Network Management (IM)}\n}","bibbaseid":"ghezzi-pezz-tamburrelli-adaptiverestapplicationsviamodelinferenceandprobabilisticmodelchecking-2013","role":"author","urls":{"Paper":"http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6573195"},"downloads":0},"search_terms":["adaptive","rest","applications","via","model","inference","probabilistic","model","checking","ghezzi","pezzè","tamburrelli"],"keywords":[],"authorIDs":[],"dataSources":["SMMMwa7224L4Fvvtg"]}