@inproceedings{DBLP:journals/corr/abs-1210-6114,
    author = "Michaux, Jonathan and Najm, Elie and Fantechi, Alessandro",
    editor = "Silva, Josep and Tiezzi, Francesco",
    title = "Adding Sessions to {BPEL}",
    booktitle = "Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, {WWV} 2012, Stockholm, Sweden, 16th July 2012",
    series = "{EPTCS}",
    volume = "98",
    pages = "60--76",
    year = "2012",
    url = "https://doi.org/10.4204/EPTCS.98.7",
    doi = "10.4204/EPTCS.98.7",
    timestamp = "Thu, 20 May 2021 14:31:18 +0200",
    biburl = "https://dblp.org/rec/journals/corr/abs-1210-6114.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"TjJbjWJtWqskwBizY","bibbaseid":"michaux-najm-fantechi-addingsessionstobpel-2012","author_short":["Michaux, J.","Najm, E.","Fantechi, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Michaux"],"firstnames":["Jonathan"],"suffixes":[]},{"propositions":[],"lastnames":["Najm"],"firstnames":["Elie"],"suffixes":[]},{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Silva"],"firstnames":["Josep"],"suffixes":[]},{"propositions":[],"lastnames":["Tiezzi"],"firstnames":["Francesco"],"suffixes":[]}],"title":"Adding Sessions to BPEL","booktitle":"Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, WWV 2012, Stockholm, Sweden, 16th July 2012","series":"EPTCS","volume":"98","pages":"60–76","year":"2012","url":"https://doi.org/10.4204/EPTCS.98.7","doi":"10.4204/EPTCS.98.7","timestamp":"Thu, 20 May 2021 14:31:18 +0200","biburl":"https://dblp.org/rec/journals/corr/abs-1210-6114.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:journals/corr/abs-1210-6114,\n author = \"Michaux, Jonathan and Najm, Elie and Fantechi, Alessandro\",\n editor = \"Silva, Josep and Tiezzi, Francesco\",\n title = \"Adding Sessions to {BPEL}\",\n booktitle = \"Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, {WWV} 2012, Stockholm, Sweden, 16th July 2012\",\n series = \"{EPTCS}\",\n volume = \"98\",\n pages = \"60--76\",\n year = \"2012\",\n url = \"https://doi.org/10.4204/EPTCS.98.7\",\n doi = \"10.4204/EPTCS.98.7\",\n timestamp = \"Thu, 20 May 2021 14:31:18 +0200\",\n biburl = \"https://dblp.org/rec/journals/corr/abs-1210-6114.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Michaux, J.","Najm, E.","Fantechi, A."],"editor_short":["Silva, J.","Tiezzi, F."],"key":"DBLP:journals/corr/abs-1210-6114","id":"DBLP:journals/corr/abs-1210-6114","bibbaseid":"michaux-najm-fantechi-addingsessionstobpel-2012","role":"author","urls":{"Paper":"https://doi.org/10.4204/EPTCS.98.7"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/ws3af8SM9SMEYsH2f","dataSources":["PZg5PtcToSZkgSyYp","qQnqccZvH25J6baZj","WKKW4iPgS2HZ3iYgC","ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","Dku8hLpmnK4EMRGxi","o4c8ZrEv4pXJNTWsQ","Am74mndWeepaSMcba","g7R8qBvQHnTH2cmxX","NjpvvPPb5uHsATbEa"],"keywords":[],"search_terms":["adding","sessions","bpel","michaux","najm","fantechi"],"title":"Adding Sessions to BPEL","year":2012}