@article{DBLP:journals/sttt/FantechiFG14,
    author = "Fantechi, Alessandro and Flammini, Francesco and Gnesi, Stefania",
    title = "Formal methods for railway control systems",
    journal = "Int. J. Softw. Tools Technol. Transf.",
    volume = "16",
    number = "6",
    pages = "643--646",
    year = "2014",
    url = "https://doi.org/10.1007/s10009-014-0342-1",
    doi = "10.1007/S10009-014-0342-1",
    timestamp = "Thu, 02 Apr 2020 01:00:00 +0200",
    biburl = "https://dblp.org/rec/journals/sttt/FantechiFG14.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"cumwm5fBGWcqpD3PX","bibbaseid":"fantechi-flammini-gnesi-formalmethodsforrailwaycontrolsystems-2014","author_short":["Fantechi, A.","Flammini, F.","Gnesi, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Flammini"],"firstnames":["Francesco"],"suffixes":[]},{"propositions":[],"lastnames":["Gnesi"],"firstnames":["Stefania"],"suffixes":[]}],"title":"Formal methods for railway control systems","journal":"Int. J. Softw. Tools Technol. Transf.","volume":"16","number":"6","pages":"643–646","year":"2014","url":"https://doi.org/10.1007/s10009-014-0342-1","doi":"10.1007/S10009-014-0342-1","timestamp":"Thu, 02 Apr 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/sttt/FantechiFG14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/sttt/FantechiFG14,\n author = \"Fantechi, Alessandro and Flammini, Francesco and Gnesi, Stefania\",\n title = \"Formal methods for railway control systems\",\n journal = \"Int. J. Softw. Tools Technol. Transf.\",\n volume = \"16\",\n number = \"6\",\n pages = \"643--646\",\n year = \"2014\",\n url = \"https://doi.org/10.1007/s10009-014-0342-1\",\n doi = \"10.1007/S10009-014-0342-1\",\n timestamp = \"Thu, 02 Apr 2020 01:00:00 +0200\",\n biburl = \"https://dblp.org/rec/journals/sttt/FantechiFG14.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Fantechi, A.","Flammini, F.","Gnesi, S."],"key":"DBLP:journals/sttt/FantechiFG14","id":"DBLP:journals/sttt/FantechiFG14","bibbaseid":"fantechi-flammini-gnesi-formalmethodsforrailwaycontrolsystems-2014","role":"author","urls":{"Paper":"https://doi.org/10.1007/s10009-014-0342-1"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/network/files/ws3af8SM9SMEYsH2f","dataSources":["PZg5PtcToSZkgSyYp","qQnqccZvH25J6baZj","WKKW4iPgS2HZ3iYgC","ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","Dku8hLpmnK4EMRGxi","o4c8ZrEv4pXJNTWsQ","Am74mndWeepaSMcba","g7R8qBvQHnTH2cmxX","NjpvvPPb5uHsATbEa"],"keywords":[],"search_terms":["formal","methods","railway","control","systems","fantechi","flammini","gnesi"],"title":"Formal methods for railway control systems","year":2014}