@inproceedings{DBLP:conf/lpar/BistarelliMMS17,
  author       = {Stefano Bistarelli and
                  Fabio Martinelli and
                  Ilaria Matteucci and
                  Francesco Santini},
  editor       = {Thomas Eiter and
                  David Sands},
  title        = {A Quantitative Partial Model-Checking Function and Its Optimisation},
  booktitle    = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
                  Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
  series       = {EPiC Series in Computing},
  volume       = {46},
  pages        = {319--337},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/rb2p},
  doi          = {10.29007/RB2P},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BistarelliMMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"N4QuTYTgBoCxNSBQF","bibbaseid":"bistarelli-martinelli-matteucci-santini-aquantitativepartialmodelcheckingfunctionanditsoptimisation-2017","downloads":0,"creationDate":"2018-10-01T12:33:09.604Z","title":"A Quantitative Partial Model-Checking Function and Its Optimisation","author_short":["Bistarelli, S.","Martinelli, F.","Matteucci, I.","Santini, F."],"year":2017,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/53/6380.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Stefano"],"propositions":[],"lastnames":["Bistarelli"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Martinelli"],"suffixes":[]},{"firstnames":["Ilaria"],"propositions":[],"lastnames":["Matteucci"],"suffixes":[]},{"firstnames":["Francesco"],"propositions":[],"lastnames":["Santini"],"suffixes":[]}],"editor":[{"firstnames":["Thomas"],"propositions":[],"lastnames":["Eiter"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Sands"],"suffixes":[]}],"title":"A Quantitative Partial Model-Checking Function and Its Optimisation","booktitle":"LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017","series":"EPiC Series in Computing","volume":"46","pages":"319–337","publisher":"EasyChair","year":"2017","url":"https://doi.org/10.29007/rb2p","doi":"10.29007/RB2P","timestamp":"Sun, 15 Aug 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/lpar/BistarelliMMS17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/lpar/BistarelliMMS17,\n author = {Stefano Bistarelli and\n Fabio Martinelli and\n Ilaria Matteucci and\n Francesco Santini},\n editor = {Thomas Eiter and\n David Sands},\n title = {A Quantitative Partial Model-Checking Function and Its Optimisation},\n booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial\n Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},\n series = {EPiC Series in Computing},\n volume = {46},\n pages = {319--337},\n publisher = {EasyChair},\n year = {2017},\n url = {https://doi.org/10.29007/rb2p},\n doi = {10.29007/RB2P},\n timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/lpar/BistarelliMMS17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bistarelli, S.","Martinelli, F.","Matteucci, I.","Santini, F."],"editor_short":["Eiter, T.","Sands, D."],"key":"DBLP:conf/lpar/BistarelliMMS17","id":"DBLP:conf/lpar/BistarelliMMS17","bibbaseid":"bistarelli-martinelli-matteucci-santini-aquantitativepartialmodelcheckingfunctionanditsoptimisation-2017","role":"author","urls":{"Paper":"https://doi.org/10.29007/rb2p"},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["quantitative","partial","model","checking","function","optimisation","bistarelli","martinelli","matteucci","santini"],"keywords":[],"authorIDs":[],"dataSources":["SjN5QvQnwzXZgxsKq","PCdRvyaDZRZMeqKhf","T6HLi2LBH4teAezac","LXyJ7X9n6g55d9qgh","DjivyTGGA5qit7Mf4"]}