@inproceedings{DBLP:conf/fmics/BeekFGM07,
    author = "ter Beek, Maurice H. and Fantechi, Alessandro and Gnesi, Stefania and Mazzanti, Franco",
    editor = "Leue, Stefan and Merino, Pedro",
    title = "An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications",
    booktitle = "Formal Methods for Industrial Critical Systems, 12th International Workshop, {FMICS} 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers",
    series = "Lecture Notes in Computer Science",
    volume = "4916",
    pages = "133--148",
    publisher = "Springer",
    year = "2007",
    url = "https://doi.org/10.1007/978-3-540-79707-4\\_11",
    doi = "10.1007/978-3-540-79707-4\\_11",
    timestamp = "Sun, 02 Jun 2019 01:00:00 +0200",
    biburl = "https://dblp.org/rec/conf/fmics/BeekFGM07.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"twh9nBoxX889q95bj","bibbaseid":"terbeek-fantechi-gnesi-mazzanti-anactionstatebasedmodelcheckingapproachfortheanalysisofcommunicationprotocolsforserviceorientedapplications-2007","author_short":["ter Beek, M. H.","Fantechi, A.","Gnesi, S.","Mazzanti, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":["ter"],"lastnames":["Beek"],"firstnames":["Maurice","H."],"suffixes":[]},{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Gnesi"],"firstnames":["Stefania"],"suffixes":[]},{"propositions":[],"lastnames":["Mazzanti"],"firstnames":["Franco"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Leue"],"firstnames":["Stefan"],"suffixes":[]},{"propositions":[],"lastnames":["Merino"],"firstnames":["Pedro"],"suffixes":[]}],"title":"An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications","booktitle":"Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers","series":"Lecture Notes in Computer Science","volume":"4916","pages":"133–148","publisher":"Springer","year":"2007","url":"https://doi.org/10.1007/978-3-540-79707-4\\\\_11","doi":"10.1007/978-3-540-79707-4\\_11","timestamp":"Sun, 02 Jun 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/fmics/BeekFGM07.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/fmics/BeekFGM07,\n author = \"ter Beek, Maurice H. and Fantechi, Alessandro and Gnesi, Stefania and Mazzanti, Franco\",\n editor = \"Leue, Stefan and Merino, Pedro\",\n title = \"An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications\",\n booktitle = \"Formal Methods for Industrial Critical Systems, 12th International Workshop, {FMICS} 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers\",\n series = \"Lecture Notes in Computer Science\",\n volume = \"4916\",\n pages = \"133--148\",\n publisher = \"Springer\",\n year = \"2007\",\n url = \"https://doi.org/10.1007/978-3-540-79707-4\\\\_11\",\n doi = \"10.1007/978-3-540-79707-4\\\\_11\",\n timestamp = \"Sun, 02 Jun 2019 01:00:00 +0200\",\n biburl = \"https://dblp.org/rec/conf/fmics/BeekFGM07.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["ter Beek, M. H.","Fantechi, A.","Gnesi, S.","Mazzanti, F."],"editor_short":["Leue, S.","Merino, P."],"key":"DBLP:conf/fmics/BeekFGM07","id":"DBLP:conf/fmics/BeekFGM07","bibbaseid":"terbeek-fantechi-gnesi-mazzanti-anactionstatebasedmodelcheckingapproachfortheanalysisofcommunicationprotocolsforserviceorientedapplications-2007","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-79707-4\\\\_11"},"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":["action","state","based","model","checking","approach","analysis","communication","protocols","service","oriented","applications","ter beek","fantechi","gnesi","mazzanti"],"title":"An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications","year":2007}