@article{DBLP:journals/ercim/BelliniNZ15,
  author       = {Pierfrancesco Bellini and
                  Paolo Nesi and
                  Imad Zaza},
  title        = {A Knowledge Based Solution for Intelligent Verification and Validation
                  of Interlocking Railway Systems},
  journal      = {{ERCIM} News},
  volume       = {2015},
  number       = {103},
  year         = {2015},
  url          = {http://ercim-news.ercim.eu/en103/r-i/a-knowledge-based-solution-for-intelligent-verification-and-validation-of-interlocking-railway-systems},
  timestamp    = {Wed, 22 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ercim/BelliniNZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"gq8LgmMJaqnbzaTvL","bibbaseid":"bellini-nesi-zaza-aknowledgebasedsolutionforintelligentverificationandvalidationofinterlockingrailwaysystems-2015","author_short":["Bellini, P.","Nesi, P.","Zaza, I."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Pierfrancesco"],"propositions":[],"lastnames":["Bellini"],"suffixes":[]},{"firstnames":["Paolo"],"propositions":[],"lastnames":["Nesi"],"suffixes":[]},{"firstnames":["Imad"],"propositions":[],"lastnames":["Zaza"],"suffixes":[]}],"title":"A Knowledge Based Solution for Intelligent Verification and Validation of Interlocking Railway Systems","journal":"ERCIM News","volume":"2015","number":"103","year":"2015","url":"http://ercim-news.ercim.eu/en103/r-i/a-knowledge-based-solution-for-intelligent-verification-and-validation-of-interlocking-railway-systems","timestamp":"Wed, 22 May 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/ercim/BelliniNZ15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/ercim/BelliniNZ15,\n author = {Pierfrancesco Bellini and\n Paolo Nesi and\n Imad Zaza},\n title = {A Knowledge Based Solution for Intelligent Verification and Validation\n of Interlocking Railway Systems},\n journal = {{ERCIM} News},\n volume = {2015},\n number = {103},\n year = {2015},\n url = {http://ercim-news.ercim.eu/en103/r-i/a-knowledge-based-solution-for-intelligent-verification-and-validation-of-interlocking-railway-systems},\n timestamp = {Wed, 22 May 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/ercim/BelliniNZ15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bellini, P.","Nesi, P.","Zaza, I."],"key":"DBLP:journals/ercim/BelliniNZ15","id":"DBLP:journals/ercim/BelliniNZ15","bibbaseid":"bellini-nesi-zaza-aknowledgebasedsolutionforintelligentverificationandvalidationofinterlockingrailwaysystems-2015","role":"author","urls":{"Paper":"http://ercim-news.ercim.eu/en103/r-i/a-knowledge-based-solution-for-intelligent-verification-and-validation-of-interlocking-railway-systems"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/network/files/8dcZxrQZq7v9e9Qc4","dataSources":["ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","o4c8ZrEv4pXJNTWsQ"],"keywords":[],"search_terms":["knowledge","based","solution","intelligent","verification","validation","interlocking","railway","systems","bellini","nesi","zaza"],"title":"A Knowledge Based Solution for Intelligent Verification and Validation of Interlocking Railway Systems","year":2015}