@inproceedings{DBLP:conf/sac/BistarelliSMM16,
  author       = {Stefano Bistarelli and
                  Francesco Santini and
                  Fabio Martinelli and
                  Ilaria Matteucci},
  editor       = {Sascha Ossowski},
  title        = {Automated adaptation via quantitative partial model checking},
  booktitle    = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
                  Pisa, Italy, April 4-8, 2016},
  pages        = {1993--1996},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2851613.2851955},
  doi          = {10.1145/2851613.2851955},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/BistarelliSMM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"A8qs99GoL4o5mgJKy","bibbaseid":"bistarelli-santini-martinelli-matteucci-automatedadaptationviaquantitativepartialmodelchecking-2016","downloads":0,"creationDate":"2018-08-12T16:35:31.351Z","title":"Automated adaptation via quantitative partial model checking","author_short":["Bistarelli, S.","Santini, F.","Martinelli, F.","Matteucci, I."],"year":2016,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/53/6380.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Stefano"],"propositions":[],"lastnames":["Bistarelli"],"suffixes":[]},{"firstnames":["Francesco"],"propositions":[],"lastnames":["Santini"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Martinelli"],"suffixes":[]},{"firstnames":["Ilaria"],"propositions":[],"lastnames":["Matteucci"],"suffixes":[]}],"editor":[{"firstnames":["Sascha"],"propositions":[],"lastnames":["Ossowski"],"suffixes":[]}],"title":"Automated adaptation via quantitative partial model checking","booktitle":"Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016","pages":"1993–1996","publisher":"ACM","year":"2016","url":"https://doi.org/10.1145/2851613.2851955","doi":"10.1145/2851613.2851955","timestamp":"Sat, 30 Sep 2023 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/sac/BistarelliSMM16.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/sac/BistarelliSMM16,\n author = {Stefano Bistarelli and\n Francesco Santini and\n Fabio Martinelli and\n Ilaria Matteucci},\n editor = {Sascha Ossowski},\n title = {Automated adaptation via quantitative partial model checking},\n booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,\n Pisa, Italy, April 4-8, 2016},\n pages = {1993--1996},\n publisher = {{ACM}},\n year = {2016},\n url = {https://doi.org/10.1145/2851613.2851955},\n doi = {10.1145/2851613.2851955},\n timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/sac/BistarelliSMM16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bistarelli, S.","Santini, F.","Martinelli, F.","Matteucci, I."],"editor_short":["Ossowski, S."],"key":"DBLP:conf/sac/BistarelliSMM16","id":"DBLP:conf/sac/BistarelliSMM16","bibbaseid":"bistarelli-santini-martinelli-matteucci-automatedadaptationviaquantitativepartialmodelchecking-2016","role":"author","urls":{"Paper":"https://doi.org/10.1145/2851613.2851955"},"metadata":{"authorlinks":{"bistarelli, s":"https://bista.sites.dmi.unipg.it/papers/index.php"}},"downloads":0},"search_terms":["automated","adaptation","via","quantitative","partial","model","checking","bistarelli","santini","martinelli","matteucci"],"keywords":[],"authorIDs":["Q5h43gs9oNpAm4KeK"],"dataSources":["SjN5QvQnwzXZgxsKq","GhB5rb8JzW6az3exo","PCdRvyaDZRZMeqKhf","T6HLi2LBH4teAezac","LXyJ7X9n6g55d9qgh","DjivyTGGA5qit7Mf4"]}