@inproceedings{DBLP:conf/iceis/Krichen19,
  author    = {Moez Krichen},
  title     = {Improving and Optimizing Verification and Testing Techniques for Distributed
               Information Systems},
  booktitle = {Enterprise Information Systems - 21st International Conference, {ICEIS}
               2019, Heraklion, Crete, Greece, May 3-5, 2019, Revised Selected Papers},
  pages     = {457--472},
  year      = {2019},
  crossref  = {DBLP:conf/iceis/2019sp},
  url       = {https://doi.org/10.1007/978-3-030-40783-4\_22},
  doi       = {10.1007/978-3-030-40783-4\_22},
  timestamp = {Thu, 05 Mar 2020 17:24:12 +0100},
  biburl    = {https://dblp.org/rec/conf/iceis/Krichen19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"tJCzA3b4n2JtShRue","bibbaseid":"krichen-improvingandoptimizingverificationandtestingtechniquesfordistributedinformationsystems-2019","authorIDs":["3AXWdHNN8eyh8tghc"],"author_short":["Krichen, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Moez"],"propositions":[],"lastnames":["Krichen"],"suffixes":[]}],"title":"Improving and Optimizing Verification and Testing Techniques for Distributed Information Systems","booktitle":"Enterprise Information Systems - 21st International Conference, ICEIS 2019, Heraklion, Crete, Greece, May 3-5, 2019, Revised Selected Papers","pages":"457–472","year":"2019","crossref":"DBLP:conf/iceis/2019sp","url":"https://doi.org/10.1007/978-3-030-40783-4_22","doi":"10.1007/978-3-030-40783-4_22","timestamp":"Thu, 05 Mar 2020 17:24:12 +0100","biburl":"https://dblp.org/rec/conf/iceis/Krichen19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/iceis/Krichen19,\n author = {Moez Krichen},\n title = {Improving and Optimizing Verification and Testing Techniques for Distributed\n Information Systems},\n booktitle = {Enterprise Information Systems - 21st International Conference, {ICEIS}\n 2019, Heraklion, Crete, Greece, May 3-5, 2019, Revised Selected Papers},\n pages = {457--472},\n year = {2019},\n crossref = {DBLP:conf/iceis/2019sp},\n url = {https://doi.org/10.1007/978-3-030-40783-4\\_22},\n doi = {10.1007/978-3-030-40783-4\\_22},\n timestamp = {Thu, 05 Mar 2020 17:24:12 +0100},\n biburl = {https://dblp.org/rec/conf/iceis/Krichen19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Krichen, M."],"key":"DBLP:conf/iceis/Krichen19","id":"DBLP:conf/iceis/Krichen19","bibbaseid":"krichen-improvingandoptimizingverificationandtestingtechniquesfordistributedinformationsystems-2019","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-40783-4_22"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/k/Krichen:Moez","creationDate":"2020-08-04T12:34:28.154Z","downloads":0,"keywords":[],"search_terms":["improving","optimizing","verification","testing","techniques","distributed","information","systems","krichen"],"title":"Improving and Optimizing Verification and Testing Techniques for Distributed Information Systems","year":2019,"dataSources":["hXXP5siPD9pz98Xye"]}