@inproceedings{DBLP:conf/fmics/FantechiH18,
    author = "Fantechi, Alessandro and Haxthausen, Anne E.",
    editor = "Howar, Falk and Barnat, Jiri",
    title = "Safety Interlocking as a Distributed Mutual Exclusion Problem",
    booktitle = "Formal Methods for Industrial Critical Systems - 23rd International Conference, {FMICS} 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings",
    series = "Lecture Notes in Computer Science",
    volume = "11119",
    pages = "52--66",
    publisher = "Springer",
    year = "2018",
    url = "https://doi.org/10.1007/978-3-030-00244-2\\_4",
    doi = "10.1007/978-3-030-00244-2\\_4",
    timestamp = "Fri, 28 Feb 2020 00:00:00 +0100",
    biburl = "https://dblp.org/rec/conf/fmics/FantechiH18.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"Goi4zK4FRWH8nsBbN","bibbaseid":"fantechi-haxthausen-safetyinterlockingasadistributedmutualexclusionproblem-2018","author_short":["Fantechi, A.","Haxthausen, A. E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Haxthausen"],"firstnames":["Anne","E."],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Howar"],"firstnames":["Falk"],"suffixes":[]},{"propositions":[],"lastnames":["Barnat"],"firstnames":["Jiri"],"suffixes":[]}],"title":"Safety Interlocking as a Distributed Mutual Exclusion Problem","booktitle":"Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings","series":"Lecture Notes in Computer Science","volume":"11119","pages":"52–66","publisher":"Springer","year":"2018","url":"https://doi.org/10.1007/978-3-030-00244-2\\\\_4","doi":"10.1007/978-3-030-00244-2\\_4","timestamp":"Fri, 28 Feb 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/fmics/FantechiH18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/fmics/FantechiH18,\n author = \"Fantechi, Alessandro and Haxthausen, Anne E.\",\n editor = \"Howar, Falk and Barnat, Jiri\",\n title = \"Safety Interlocking as a Distributed Mutual Exclusion Problem\",\n booktitle = \"Formal Methods for Industrial Critical Systems - 23rd International Conference, {FMICS} 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings\",\n series = \"Lecture Notes in Computer Science\",\n volume = \"11119\",\n pages = \"52--66\",\n publisher = \"Springer\",\n year = \"2018\",\n url = \"https://doi.org/10.1007/978-3-030-00244-2\\\\_4\",\n doi = \"10.1007/978-3-030-00244-2\\\\_4\",\n timestamp = \"Fri, 28 Feb 2020 00:00:00 +0100\",\n biburl = \"https://dblp.org/rec/conf/fmics/FantechiH18.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Fantechi, A.","Haxthausen, A. E."],"editor_short":["Howar, F.","Barnat, J."],"key":"DBLP:conf/fmics/FantechiH18","id":"DBLP:conf/fmics/FantechiH18","bibbaseid":"fantechi-haxthausen-safetyinterlockingasadistributedmutualexclusionproblem-2018","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-00244-2\\\\_4"},"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":["safety","interlocking","distributed","mutual","exclusion","problem","fantechi","haxthausen"],"title":"Safety Interlocking as a Distributed Mutual Exclusion Problem","year":2018}