@inproceedings{conf/otm/LahouijHG18,
  added-at = {2018-10-18T00:00:00.000+0200},
  author = {Lahouij, Aida and Hamel, Lazhar and Graiet, Mohamed},
  biburl = {https://www.bibsonomy.org/bibtex/21b2a2bc8e451d2f2f96aba3183fb3013/dblp},
  booktitle = {OTM Conferences (1)},
  crossref = {conf/otm/2018-1},
  editor = {Panetto, Hervé and Debruyne, Christophe and Proper, Henderik A. and Ardagna, Claudio Agostino and Roman, Dumitru and Meersman, Robert},
  ee = {https://doi.org/10.1007/978-3-030-02610-3_34},
  interhash = {5a0daaf2d33138391797b0b559c166c6},
  intrahash = {1b2a2bc8e451d2f2f96aba3183fb3013},
  isbn = {978-3-030-02610-3},
  keywords = {dblp},
  pages = {604-622},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T18:24:36.000+0200},
  title = {Deadlock-Freeness Verification of Cloud Composite Services Using Event-B.},
  url = {http://dblp.uni-trier.de/db/conf/otm/otm2018-1.html#LahouijHG18},
  volume = 11229,
  year = 2018
}

{"_id":"wdAu3nFACjH2MtH3R","bibbaseid":"lahouij-hamel-graiet-deadlockfreenessverificationofcloudcompositeservicesusingeventb-2018","author_short":["Lahouij, A.","Hamel, L.","Graiet, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2018-10-18T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Lahouij"],"firstnames":["Aida"],"suffixes":[]},{"propositions":[],"lastnames":["Hamel"],"firstnames":["Lazhar"],"suffixes":[]},{"propositions":[],"lastnames":["Graiet"],"firstnames":["Mohamed"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/21b2a2bc8e451d2f2f96aba3183fb3013/dblp","booktitle":"OTM Conferences (1)","crossref":"conf/otm/2018-1","editor":[{"propositions":[],"lastnames":["Panetto"],"firstnames":["Hervé"],"suffixes":[]},{"propositions":[],"lastnames":["Debruyne"],"firstnames":["Christophe"],"suffixes":[]},{"propositions":[],"lastnames":["Proper"],"firstnames":["Henderik","A."],"suffixes":[]},{"propositions":[],"lastnames":["Ardagna"],"firstnames":["Claudio","Agostino"],"suffixes":[]},{"propositions":[],"lastnames":["Roman"],"firstnames":["Dumitru"],"suffixes":[]},{"propositions":[],"lastnames":["Meersman"],"firstnames":["Robert"],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-030-02610-3_34","interhash":"5a0daaf2d33138391797b0b559c166c6","intrahash":"1b2a2bc8e451d2f2f96aba3183fb3013","isbn":"978-3-030-02610-3","keywords":"dblp","pages":"604-622","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T18:24:36.000+0200","title":"Deadlock-Freeness Verification of Cloud Composite Services Using Event-B.","url":"http://dblp.uni-trier.de/db/conf/otm/otm2018-1.html#LahouijHG18","volume":"11229","year":"2018","bibtex":"@inproceedings{conf/otm/LahouijHG18,\n added-at = {2018-10-18T00:00:00.000+0200},\n author = {Lahouij, Aida and Hamel, Lazhar and Graiet, Mohamed},\n biburl = {https://www.bibsonomy.org/bibtex/21b2a2bc8e451d2f2f96aba3183fb3013/dblp},\n booktitle = {OTM Conferences (1)},\n crossref = {conf/otm/2018-1},\n editor = {Panetto, Hervé and Debruyne, Christophe and Proper, Henderik A. and Ardagna, Claudio Agostino and Roman, Dumitru and Meersman, Robert},\n ee = {https://doi.org/10.1007/978-3-030-02610-3_34},\n interhash = {5a0daaf2d33138391797b0b559c166c6},\n intrahash = {1b2a2bc8e451d2f2f96aba3183fb3013},\n isbn = {978-3-030-02610-3},\n keywords = {dblp},\n pages = {604-622},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T18:24:36.000+0200},\n title = {Deadlock-Freeness Verification of Cloud Composite Services Using Event-B.},\n url = {http://dblp.uni-trier.de/db/conf/otm/otm2018-1.html#LahouijHG18},\n volume = 11229,\n year = 2018\n}\n\n","author_short":["Lahouij, A.","Hamel, L.","Graiet, M."],"editor_short":["Panetto, H.","Debruyne, C.","Proper, H. A.","Ardagna, C. A.","Roman, D.","Meersman, R."],"key":"conf/otm/LahouijHG18","id":"conf/otm/LahouijHG18","bibbaseid":"lahouij-hamel-graiet-deadlockfreenessverificationofcloudcompositeservicesusingeventb-2018","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-030-02610-3_34","Paper":"http://dblp.uni-trier.de/db/conf/otm/otm2018-1.html#LahouijHG18"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Hamel?items=1000","dataSources":["8T57PzJcnd8btZq9P"],"keywords":["dblp"],"search_terms":["deadlock","freeness","verification","cloud","composite","services","using","event","lahouij","hamel","graiet"],"title":"Deadlock-Freeness Verification of Cloud Composite Services Using Event-B.","year":2018}