@article{zafar_towards_2012,
	title = {Towards the safety properties of moving block railway interlocking system},
	volume = {8},
	number = {7},
	journal = {Int. J. Innovative Comput., Info \& Control},
	author = {Zafar, Nazir Ahmad and Khan, Sher Afzal and Araki, Keijiro},
	year = {2012},
	keywords = {⛔ No DOI found},
	pages = {5677--5690},
}

{"_id":"uZyYKs3KGwQp3X7DP","bibbaseid":"zafar-khan-araki-towardsthesafetypropertiesofmovingblockrailwayinterlockingsystem-2012","author_short":["Zafar, N. A.","Khan, S. A.","Araki, K."],"bibdata":{"bibtype":"article","type":"article","title":"Towards the safety properties of moving block railway interlocking system","volume":"8","number":"7","journal":"Int. J. Innovative Comput., Info & Control","author":[{"propositions":[],"lastnames":["Zafar"],"firstnames":["Nazir","Ahmad"],"suffixes":[]},{"propositions":[],"lastnames":["Khan"],"firstnames":["Sher","Afzal"],"suffixes":[]},{"propositions":[],"lastnames":["Araki"],"firstnames":["Keijiro"],"suffixes":[]}],"year":"2012","keywords":"⛔ No DOI found","pages":"5677–5690","bibtex":"@article{zafar_towards_2012,\n\ttitle = {Towards the safety properties of moving block railway interlocking system},\n\tvolume = {8},\n\tnumber = {7},\n\tjournal = {Int. J. Innovative Comput., Info \\& Control},\n\tauthor = {Zafar, Nazir Ahmad and Khan, Sher Afzal and Araki, Keijiro},\n\tyear = {2012},\n\tkeywords = {⛔ No DOI found},\n\tpages = {5677--5690},\n}\n\n","author_short":["Zafar, N. A.","Khan, S. A.","Araki, K."],"key":"zafar_towards_2012","id":"zafar_towards_2012","bibbaseid":"zafar-khan-araki-towardsthesafetypropertiesofmovingblockrailwayinterlockingsystem-2012","role":"author","urls":{},"keyword":["⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["⛔ no doi found"],"search_terms":["towards","safety","properties","moving","block","railway","interlocking","system","zafar","khan","araki"],"title":"Towards the safety properties of moving block railway interlocking system","year":2012}