@inproceedings{DBLP:conf/fmics/BanciF05,
    author = "Banci, Michele and Fantechi, Alessandro",
    editor = "Margaria, Tiziana and Massink, Mieke",
    title = "Instantiating generic charts for railway interlocking systems",
    booktitle = "Proceedings of the 10th international workshop on Formal methods for industrial critical systems, {FMICS} '05, Lisbon, Portugal, September 5-6, 2005",
    pages = "134--143",
    publisher = "{ACM}",
    year = "2005",
    url = "https://doi.org/10.1145/1081180.1081197",
    doi = "10.1145/1081180.1081197",
    timestamp = "Tue, 25 Jan 2022 17:00:39 +0100",
    biburl = "https://dblp.org/rec/conf/fmics/BanciF05.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"PZtAPWD6mrRCEnjPL","bibbaseid":"banci-fantechi-instantiatinggenericchartsforrailwayinterlockingsystems-2005","author_short":["Banci, M.","Fantechi, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Banci"],"firstnames":["Michele"],"suffixes":[]},{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Margaria"],"firstnames":["Tiziana"],"suffixes":[]},{"propositions":[],"lastnames":["Massink"],"firstnames":["Mieke"],"suffixes":[]}],"title":"Instantiating generic charts for railway interlocking systems","booktitle":"Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005","pages":"134–143","publisher":"ACM","year":"2005","url":"https://doi.org/10.1145/1081180.1081197","doi":"10.1145/1081180.1081197","timestamp":"Tue, 25 Jan 2022 17:00:39 +0100","biburl":"https://dblp.org/rec/conf/fmics/BanciF05.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/fmics/BanciF05,\n author = \"Banci, Michele and Fantechi, Alessandro\",\n editor = \"Margaria, Tiziana and Massink, Mieke\",\n title = \"Instantiating generic charts for railway interlocking systems\",\n booktitle = \"Proceedings of the 10th international workshop on Formal methods for industrial critical systems, {FMICS} '05, Lisbon, Portugal, September 5-6, 2005\",\n pages = \"134--143\",\n publisher = \"{ACM}\",\n year = \"2005\",\n url = \"https://doi.org/10.1145/1081180.1081197\",\n doi = \"10.1145/1081180.1081197\",\n timestamp = \"Tue, 25 Jan 2022 17:00:39 +0100\",\n biburl = \"https://dblp.org/rec/conf/fmics/BanciF05.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Banci, M.","Fantechi, A."],"editor_short":["Margaria, T.","Massink, M."],"key":"DBLP:conf/fmics/BanciF05","id":"DBLP:conf/fmics/BanciF05","bibbaseid":"banci-fantechi-instantiatinggenericchartsforrailwayinterlockingsystems-2005","role":"author","urls":{"Paper":"https://doi.org/10.1145/1081180.1081197"},"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":["instantiating","generic","charts","railway","interlocking","systems","banci","fantechi"],"title":"Instantiating generic charts for railway interlocking systems","year":2005}