@inproceedings{DBLP:conf/pdp/FantechiHN17,
    author = "Fantechi, Alessandro and Haxthausen, Anne E. and Nielsen, Michel Boje Randahl",
    editor = "Kotenko, Igor V. and Cotronis, Yiannis and Daneshtalab, Masoud",
    title = "Model Checking Geographically Distributed Interlocking Systems Using {UMC}",
    booktitle = "25th Euromicro International Conference on Parallel, Distributed and Network-based Processing, {PDP} 2017, St. Petersburg, Russia, March 6-8, 2017",
    pages = "278--286",
    publisher = "{IEEE} Computer Society",
    year = "2017",
    url = "https://doi.org/10.1109/PDP.2017.66",
    doi = "10.1109/PDP.2017.66",
    timestamp = "Fri, 24 Mar 2023 00:00:00 +0100",
    biburl = "https://dblp.org/rec/conf/pdp/FantechiHN17.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"LrLadme9zqpgh88Sf","bibbaseid":"fantechi-haxthausen-nielsen-modelcheckinggeographicallydistributedinterlockingsystemsusingumc-2017","author_short":["Fantechi, A.","Haxthausen, A. E.","Nielsen, M. B. R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Haxthausen"],"firstnames":["Anne","E."],"suffixes":[]},{"propositions":[],"lastnames":["Nielsen"],"firstnames":["Michel","Boje","Randahl"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Kotenko"],"firstnames":["Igor","V."],"suffixes":[]},{"propositions":[],"lastnames":["Cotronis"],"firstnames":["Yiannis"],"suffixes":[]},{"propositions":[],"lastnames":["Daneshtalab"],"firstnames":["Masoud"],"suffixes":[]}],"title":"Model Checking Geographically Distributed Interlocking Systems Using UMC","booktitle":"25th Euromicro International Conference on Parallel, Distributed and Network-based Processing, PDP 2017, St. Petersburg, Russia, March 6-8, 2017","pages":"278–286","publisher":"IEEE Computer Society","year":"2017","url":"https://doi.org/10.1109/PDP.2017.66","doi":"10.1109/PDP.2017.66","timestamp":"Fri, 24 Mar 2023 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/pdp/FantechiHN17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/pdp/FantechiHN17,\n author = \"Fantechi, Alessandro and Haxthausen, Anne E. and Nielsen, Michel Boje Randahl\",\n editor = \"Kotenko, Igor V. and Cotronis, Yiannis and Daneshtalab, Masoud\",\n title = \"Model Checking Geographically Distributed Interlocking Systems Using {UMC}\",\n booktitle = \"25th Euromicro International Conference on Parallel, Distributed and Network-based Processing, {PDP} 2017, St. Petersburg, Russia, March 6-8, 2017\",\n pages = \"278--286\",\n publisher = \"{IEEE} Computer Society\",\n year = \"2017\",\n url = \"https://doi.org/10.1109/PDP.2017.66\",\n doi = \"10.1109/PDP.2017.66\",\n timestamp = \"Fri, 24 Mar 2023 00:00:00 +0100\",\n biburl = \"https://dblp.org/rec/conf/pdp/FantechiHN17.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Fantechi, A.","Haxthausen, A. E.","Nielsen, M. B. R."],"editor_short":["Kotenko, I. V.","Cotronis, Y.","Daneshtalab, M."],"key":"DBLP:conf/pdp/FantechiHN17","id":"DBLP:conf/pdp/FantechiHN17","bibbaseid":"fantechi-haxthausen-nielsen-modelcheckinggeographicallydistributedinterlockingsystemsusingumc-2017","role":"author","urls":{"Paper":"https://doi.org/10.1109/PDP.2017.66"},"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":["model","checking","geographically","distributed","interlocking","systems","using","umc","fantechi","haxthausen","nielsen"],"title":"Model Checking Geographically Distributed Interlocking Systems Using UMC","year":2017}