@inproceedings{DBLP:journals/entcs/FantechiS03,
    author = "Fantechi, Alessandro and Spinicci, Emilio",
    editor = "Pezz{\`{e}}, Mauro",
    title = "Modelling and Validating a multiple-configuration railway signalling system using {SDL}",
    booktitle = "International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of {ETAPS} 2003, Warsaw, Poland, April 5-6, 2003",
    series = "Electronic Notes in Theoretical Computer Science",
    volume = "82",
    number = "6",
    pages = "66--76",
    publisher = "Elsevier",
    year = "2003",
    url = "https://doi.org/10.1016/S1571-0661(04)81026-0",
    doi = "10.1016/S1571-0661(04)81026-0",
    timestamp = "Thu, 08 Dec 2022 11:29:20 +0100",
    biburl = "https://dblp.org/rec/journals/entcs/FantechiS03.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"BxB2f5afXSAdsHmTn","bibbaseid":"fantechi-spinicci-modellingandvalidatingamultipleconfigurationrailwaysignallingsystemusingsdl-2003","author_short":["Fantechi, A.","Spinicci, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Spinicci"],"firstnames":["Emilio"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Pezzè"],"firstnames":["Mauro"],"suffixes":[]}],"title":"Modelling and Validating a multiple-configuration railway signalling system using SDL","booktitle":"International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003","series":"Electronic Notes in Theoretical Computer Science","volume":"82","number":"6","pages":"66–76","publisher":"Elsevier","year":"2003","url":"https://doi.org/10.1016/S1571-0661(04)81026-0","doi":"10.1016/S1571-0661(04)81026-0","timestamp":"Thu, 08 Dec 2022 11:29:20 +0100","biburl":"https://dblp.org/rec/journals/entcs/FantechiS03.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:journals/entcs/FantechiS03,\n author = \"Fantechi, Alessandro and Spinicci, Emilio\",\n editor = \"Pezz{\\`{e}}, Mauro\",\n title = \"Modelling and Validating a multiple-configuration railway signalling system using {SDL}\",\n booktitle = \"International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of {ETAPS} 2003, Warsaw, Poland, April 5-6, 2003\",\n series = \"Electronic Notes in Theoretical Computer Science\",\n volume = \"82\",\n number = \"6\",\n pages = \"66--76\",\n publisher = \"Elsevier\",\n year = \"2003\",\n url = \"https://doi.org/10.1016/S1571-0661(04)81026-0\",\n doi = \"10.1016/S1571-0661(04)81026-0\",\n timestamp = \"Thu, 08 Dec 2022 11:29:20 +0100\",\n biburl = \"https://dblp.org/rec/journals/entcs/FantechiS03.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Fantechi, A.","Spinicci, E."],"editor_short":["Pezzè, M."],"key":"DBLP:journals/entcs/FantechiS03","id":"DBLP:journals/entcs/FantechiS03","bibbaseid":"fantechi-spinicci-modellingandvalidatingamultipleconfigurationrailwaysignallingsystemusingsdl-2003","role":"author","urls":{"Paper":"https://doi.org/10.1016/S1571-0661(04)81026-0"},"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":["modelling","validating","multiple","configuration","railway","signalling","system","using","sdl","fantechi","spinicci"],"title":"Modelling and Validating a multiple-configuration railway signalling system using SDL","year":2003}