@inproceedings{DBLP:conf/europar/HuchantSBC19,
  author       = {Pierre Huchant and
                  Emmanuelle Saillard and
                  Denis Barthou and
                  Patrick Carribault},
  editor       = {Ramin Yahyapour},
  title        = {Multi-valued Expression Analysis for Collective Checking},
  booktitle    = {Euro-Par 2019: Parallel Processing - 25th International Conference
                  on Parallel and Distributed Computing, G{\"{o}}ttingen, Germany, August
                  26-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11725},
  pages        = {29--43},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29400-7\_3},
  doi          = {10.1007/978-3-030-29400-7\_3},
  timestamp    = {Mon, 19 Aug 2019 16:41:45 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/HuchantSBC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"XYMMX4dJCx3tSsugR","bibbaseid":"huchant-saillard-barthou-carribault-multivaluedexpressionanalysisforcollectivechecking-2019","authorIDs":["gH8cyowDfvmpgEymM"],"author_short":["Huchant, P.","Saillard, E.","Barthou, D.","Carribault, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Pierre"],"propositions":[],"lastnames":["Huchant"],"suffixes":[]},{"firstnames":["Emmanuelle"],"propositions":[],"lastnames":["Saillard"],"suffixes":[]},{"firstnames":["Denis"],"propositions":[],"lastnames":["Barthou"],"suffixes":[]},{"firstnames":["Patrick"],"propositions":[],"lastnames":["Carribault"],"suffixes":[]}],"editor":[{"firstnames":["Ramin"],"propositions":[],"lastnames":["Yahyapour"],"suffixes":[]}],"title":"Multi-valued Expression Analysis for Collective Checking","booktitle":"Euro-Par 2019: Parallel Processing - 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26-30, 2019, Proceedings","series":"Lecture Notes in Computer Science","volume":"11725","pages":"29–43","publisher":"Springer","year":"2019","url":"https://doi.org/10.1007/978-3-030-29400-7\\_3","doi":"10.1007/978-3-030-29400-7_3","timestamp":"Mon, 19 Aug 2019 16:41:45 +0200","biburl":"https://dblp.org/rec/conf/europar/HuchantSBC19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/europar/HuchantSBC19,\n author = {Pierre Huchant and\n Emmanuelle Saillard and\n Denis Barthou and\n Patrick Carribault},\n editor = {Ramin Yahyapour},\n title = {Multi-valued Expression Analysis for Collective Checking},\n booktitle = {Euro-Par 2019: Parallel Processing - 25th International Conference\n on Parallel and Distributed Computing, G{\\\"{o}}ttingen, Germany, August\n 26-30, 2019, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {11725},\n pages = {29--43},\n publisher = {Springer},\n year = {2019},\n url = {https://doi.org/10.1007/978-3-030-29400-7\\_3},\n doi = {10.1007/978-3-030-29400-7\\_3},\n timestamp = {Mon, 19 Aug 2019 16:41:45 +0200},\n biburl = {https://dblp.org/rec/conf/europar/HuchantSBC19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Huchant, P.","Saillard, E.","Barthou, D.","Carribault, P."],"editor_short":["Yahyapour, R."],"key":"DBLP:conf/europar/HuchantSBC19","id":"DBLP:conf/europar/HuchantSBC19","bibbaseid":"huchant-saillard-barthou-carribault-multivaluedexpressionanalysisforcollectivechecking-2019","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-29400-7\\_3"},"metadata":{"authorlinks":{"barthou, d":"https://bibbase.org/show?bib=https://dblp.org/pid/66/2364.bib"}},"downloads":1},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/66/2364.bib","creationDate":"2020-09-28T15:09:26.751Z","downloads":1,"keywords":[],"search_terms":["multi","valued","expression","analysis","collective","checking","huchant","saillard","barthou","carribault"],"title":"Multi-valued Expression Analysis for Collective Checking","year":2019,"dataSources":["QzYnA59epiHCud8Xh"]}