@article{DBLP:journals/ercim/BelliniNZ15,
    author = "Bellini, Pierfrancesco and Nesi, Paolo and Zaza, Imad",
    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":[{"propositions":[],"lastnames":["Bellini"],"firstnames":["Pierfrancesco"],"suffixes":[]},{"propositions":[],"lastnames":["Nesi"],"firstnames":["Paolo"],"suffixes":[]},{"propositions":[],"lastnames":["Zaza"],"firstnames":["Imad"],"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 = \"Bellini, Pierfrancesco and Nesi, Paolo and Zaza, Imad\",\n title = \"A Knowledge Based Solution for Intelligent Verification and Validation 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","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/ws3af8SM9SMEYsH2f","dataSources":["ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","o4c8ZrEv4pXJNTWsQ","Am74mndWeepaSMcba","PZg5PtcToSZkgSyYp","g7R8qBvQHnTH2cmxX"],"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}