@inproceedings{DBLP:conf/qest/PalmeriNM07,
  author    = {Maria Carla Palmeri and
               Rocco De Nicola and
               Mieke Massink},
  title     = {Basic Observables for Probabilistic May Testing},
  booktitle = {Fourth International Conference on the Quantitative Evaluaiton of
               Systems {(QEST} 2007), 17-19 September 2007, Edinburgh, Scotland,
               {UK}},
  pages     = {189--200},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {https://doi.org/10.1109/QEST.2007.19},
  doi       = {10.1109/QEST.2007.19},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/qest/PalmeriNM07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"8eM2zKKhCwgoczpvk","bibbaseid":"palmeri-nicola-massink-basicobservablesforprobabilisticmaytesting-2007","authorIDs":[],"author_short":["Palmeri, M. C.","Nicola, R. D.","Massink, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Maria","Carla"],"propositions":[],"lastnames":["Palmeri"],"suffixes":[]},{"firstnames":["Rocco","De"],"propositions":[],"lastnames":["Nicola"],"suffixes":[]},{"firstnames":["Mieke"],"propositions":[],"lastnames":["Massink"],"suffixes":[]}],"title":"Basic Observables for Probabilistic May Testing","booktitle":"Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK","pages":"189–200","publisher":"IEEE Computer Society","year":"2007","url":"https://doi.org/10.1109/QEST.2007.19","doi":"10.1109/QEST.2007.19","timestamp":"Mon, 15 Jun 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/qest/PalmeriNM07.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/qest/PalmeriNM07,\n author = {Maria Carla Palmeri and\n Rocco De Nicola and\n Mieke Massink},\n title = {Basic Observables for Probabilistic May Testing},\n booktitle = {Fourth International Conference on the Quantitative Evaluaiton of\n Systems {(QEST} 2007), 17-19 September 2007, Edinburgh, Scotland,\n {UK}},\n pages = {189--200},\n publisher = {{IEEE} Computer Society},\n year = {2007},\n url = {https://doi.org/10.1109/QEST.2007.19},\n doi = {10.1109/QEST.2007.19},\n timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/qest/PalmeriNM07.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Palmeri, M. C.","Nicola, R. D.","Massink, M."],"key":"DBLP:conf/qest/PalmeriNM07","id":"DBLP:conf/qest/PalmeriNM07","bibbaseid":"palmeri-nicola-massink-basicobservablesforprobabilisticmaytesting-2007","role":"author","urls":{"Paper":"https://doi.org/10.1109/QEST.2007.19"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/n/RDNicola.bib","creationDate":"2020-08-07T16:49:57.611Z","downloads":0,"keywords":[],"search_terms":["basic","observables","probabilistic","testing","palmeri","nicola","massink"],"title":"Basic Observables for Probabilistic May Testing","year":2007,"dataSources":["FxajFA698pihqBfpX"]}