@inproceedings{DBLP:conf/safecomp/AnselmiBFGLMT95,
    author = "Anselmi, A. and Bernardeschi, Cinzia and Fantechi, Alessandro and Gnesi, Stefania and Larosa, Salvatore and Mongardi, Giorgio and Torielli, Fernando",
    editor = "Rabe, Gerhard",
    title = "An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System",
    booktitle = "14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995",
    pages = "474--488",
    publisher = "Springer",
    year = "1995",
    url = "https://doi.org/10.1007/978-1-4471-3054-3\\_33",
    doi = "10.1007/978-1-4471-3054-3\\_33",
    timestamp = "Tue, 25 Jun 2019 09:49:42 +0200",
    biburl = "https://dblp.org/rec/conf/safecomp/AnselmiBFGLMT95.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"iJ47MoDhHojZ2kKND","bibbaseid":"anselmi-bernardeschi-fantechi-gnesi-larosa-mongardi-torielli-anexperienceinformalverificationofsafetypropertiesofarailwaysignallingcontrolsystem-1995","author_short":["Anselmi, A.","Bernardeschi, C.","Fantechi, A.","Gnesi, S.","Larosa, S.","Mongardi, G.","Torielli, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Anselmi"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Bernardeschi"],"firstnames":["Cinzia"],"suffixes":[]},{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Gnesi"],"firstnames":["Stefania"],"suffixes":[]},{"propositions":[],"lastnames":["Larosa"],"firstnames":["Salvatore"],"suffixes":[]},{"propositions":[],"lastnames":["Mongardi"],"firstnames":["Giorgio"],"suffixes":[]},{"propositions":[],"lastnames":["Torielli"],"firstnames":["Fernando"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Rabe"],"firstnames":["Gerhard"],"suffixes":[]}],"title":"An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System","booktitle":"14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995","pages":"474–488","publisher":"Springer","year":"1995","url":"https://doi.org/10.1007/978-1-4471-3054-3\\\\_33","doi":"10.1007/978-1-4471-3054-3\\_33","timestamp":"Tue, 25 Jun 2019 09:49:42 +0200","biburl":"https://dblp.org/rec/conf/safecomp/AnselmiBFGLMT95.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/safecomp/AnselmiBFGLMT95,\n author = \"Anselmi, A. and Bernardeschi, Cinzia and Fantechi, Alessandro and Gnesi, Stefania and Larosa, Salvatore and Mongardi, Giorgio and Torielli, Fernando\",\n editor = \"Rabe, Gerhard\",\n title = \"An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System\",\n booktitle = \"14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995\",\n pages = \"474--488\",\n publisher = \"Springer\",\n year = \"1995\",\n url = \"https://doi.org/10.1007/978-1-4471-3054-3\\\\_33\",\n doi = \"10.1007/978-1-4471-3054-3\\\\_33\",\n timestamp = \"Tue, 25 Jun 2019 09:49:42 +0200\",\n biburl = \"https://dblp.org/rec/conf/safecomp/AnselmiBFGLMT95.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Anselmi, A.","Bernardeschi, C.","Fantechi, A.","Gnesi, S.","Larosa, S.","Mongardi, G.","Torielli, F."],"editor_short":["Rabe, G."],"key":"DBLP:conf/safecomp/AnselmiBFGLMT95","id":"DBLP:conf/safecomp/AnselmiBFGLMT95","bibbaseid":"anselmi-bernardeschi-fantechi-gnesi-larosa-mongardi-torielli-anexperienceinformalverificationofsafetypropertiesofarailwaysignallingcontrolsystem-1995","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-1-4471-3054-3\\\\_33"},"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":["experience","formal","verification","safety","properties","railway","signalling","control","system","anselmi","bernardeschi","fantechi","gnesi","larosa","mongardi","torielli"],"title":"An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System","year":1995}