@inproceedings{DBLP:conf/quatic/BonacchiF14,
    author = "Bonacchi, Andrea and Fantechi, Alessandro",
    title = "Validation of Interlocking Systems by Testing their Models",
    booktitle = "9th International Conference on the Quality of Information and Communications Technology, {QUATIC} 2014, Guimaraes, Portugal, September 23-26, 2014",
    pages = "226--229",
    publisher = "{IEEE} Computer Society",
    year = "2014",
    url = "https://doi.org/10.1109/QUATIC.2014.37",
    doi = "10.1109/QUATIC.2014.37",
    timestamp = "Fri, 24 Mar 2023 00:00:00 +0100",
    biburl = "https://dblp.org/rec/conf/quatic/BonacchiF14.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"PGna27nsCPBLJG7o3","bibbaseid":"bonacchi-fantechi-validationofinterlockingsystemsbytestingtheirmodels-2014","author_short":["Bonacchi, A.","Fantechi, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Bonacchi"],"firstnames":["Andrea"],"suffixes":[]},{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]}],"title":"Validation of Interlocking Systems by Testing their Models","booktitle":"9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014, Guimaraes, Portugal, September 23-26, 2014","pages":"226–229","publisher":"IEEE Computer Society","year":"2014","url":"https://doi.org/10.1109/QUATIC.2014.37","doi":"10.1109/QUATIC.2014.37","timestamp":"Fri, 24 Mar 2023 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/quatic/BonacchiF14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/quatic/BonacchiF14,\n author = \"Bonacchi, Andrea and Fantechi, Alessandro\",\n title = \"Validation of Interlocking Systems by Testing their Models\",\n booktitle = \"9th International Conference on the Quality of Information and Communications Technology, {QUATIC} 2014, Guimaraes, Portugal, September 23-26, 2014\",\n pages = \"226--229\",\n publisher = \"{IEEE} Computer Society\",\n year = \"2014\",\n url = \"https://doi.org/10.1109/QUATIC.2014.37\",\n doi = \"10.1109/QUATIC.2014.37\",\n timestamp = \"Fri, 24 Mar 2023 00:00:00 +0100\",\n biburl = \"https://dblp.org/rec/conf/quatic/BonacchiF14.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Bonacchi, A.","Fantechi, A."],"key":"DBLP:conf/quatic/BonacchiF14","id":"DBLP:conf/quatic/BonacchiF14","bibbaseid":"bonacchi-fantechi-validationofinterlockingsystemsbytestingtheirmodels-2014","role":"author","urls":{"Paper":"https://doi.org/10.1109/QUATIC.2014.37"},"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":["validation","interlocking","systems","testing","models","bonacchi","fantechi"],"title":"Validation of Interlocking Systems by Testing their Models","year":2014}