@article{magnani_formal_2014,
	title = {Formal {Methods} and {Code} {Generation} {Techniques} in the {Development} of {Railway} {Signalling} {Systems}},
	url = {https://core.ac.uk/display/301568115?recSetID=},
	language = {en-gb},
	urldate = {2021-01-27},
	author = {Magnani, Gianluca},
	year = {2014},
	keywords = {⛔ No DOI found},
}

{"_id":"JdFFfQ4ZoSTLGfBaT","bibbaseid":"magnani-formalmethodsandcodegenerationtechniquesinthedevelopmentofrailwaysignallingsystems-2014","author_short":["Magnani, G."],"bibdata":{"bibtype":"article","type":"article","title":"Formal Methods and Code Generation Techniques in the Development of Railway Signalling Systems","url":"https://core.ac.uk/display/301568115?recSetID=","language":"en-gb","urldate":"2021-01-27","author":[{"propositions":[],"lastnames":["Magnani"],"firstnames":["Gianluca"],"suffixes":[]}],"year":"2014","keywords":"⛔ No DOI found","bibtex":"@article{magnani_formal_2014,\n\ttitle = {Formal {Methods} and {Code} {Generation} {Techniques} in the {Development} of {Railway} {Signalling} {Systems}},\n\turl = {https://core.ac.uk/display/301568115?recSetID=},\n\tlanguage = {en-gb},\n\turldate = {2021-01-27},\n\tauthor = {Magnani, Gianluca},\n\tyear = {2014},\n\tkeywords = {⛔ No DOI found},\n}\n\n","author_short":["Magnani, G."],"key":"magnani_formal_2014","id":"magnani_formal_2014","bibbaseid":"magnani-formalmethodsandcodegenerationtechniquesinthedevelopmentofrailwaysignallingsystems-2014","role":"author","urls":{"Paper":"https://core.ac.uk/display/301568115?recSetID="},"keyword":["⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["⛔ no doi found"],"search_terms":["formal","methods","code","generation","techniques","development","railway","signalling","systems","magnani"],"title":"Formal Methods and Code Generation Techniques in the Development of Railway Signalling Systems","year":2014}