@article{DBLP:journals/fac/BasileFRM21,
    author = "Basile, Davide and Fantechi, Alessandro and Rucher, Luigi and Mand{\`{o}}, Gianluca",
    title = "Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker",
    journal = "Formal Aspects Comput.",
    volume = "33",
    number = "6",
    pages = "957--987",
    year = "2021",
    url = "https://doi.org/10.1007/s00165-021-00556-1",
    doi = "10.1007/S00165-021-00556-1",
    timestamp = "Mon, 09 May 2022 01:00:00 +0200",
    biburl = "https://dblp.org/rec/journals/fac/BasileFRM21.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"D9SJ8g6pDLkeYE6G7","bibbaseid":"basile-fantechi-rucher-mand-analysinganautonomoustramwaypositioningsystemwiththeuppaalstatisticalmodelchecker-2021","author_short":["Basile, D.","Fantechi, A.","Rucher, L.","Mandò, G."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Basile"],"firstnames":["Davide"],"suffixes":[]},{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Rucher"],"firstnames":["Luigi"],"suffixes":[]},{"propositions":[],"lastnames":["Mandò"],"firstnames":["Gianluca"],"suffixes":[]}],"title":"Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker","journal":"Formal Aspects Comput.","volume":"33","number":"6","pages":"957–987","year":"2021","url":"https://doi.org/10.1007/s00165-021-00556-1","doi":"10.1007/S00165-021-00556-1","timestamp":"Mon, 09 May 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/fac/BasileFRM21.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/fac/BasileFRM21,\n author = \"Basile, Davide and Fantechi, Alessandro and Rucher, Luigi and Mand{\\`{o}}, Gianluca\",\n title = \"Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker\",\n journal = \"Formal Aspects Comput.\",\n volume = \"33\",\n number = \"6\",\n pages = \"957--987\",\n year = \"2021\",\n url = \"https://doi.org/10.1007/s00165-021-00556-1\",\n doi = \"10.1007/S00165-021-00556-1\",\n timestamp = \"Mon, 09 May 2022 01:00:00 +0200\",\n biburl = \"https://dblp.org/rec/journals/fac/BasileFRM21.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Basile, D.","Fantechi, A.","Rucher, L.","Mandò, G."],"key":"DBLP:journals/fac/BasileFRM21","id":"DBLP:journals/fac/BasileFRM21","bibbaseid":"basile-fantechi-rucher-mand-analysinganautonomoustramwaypositioningsystemwiththeuppaalstatisticalmodelchecker-2021","role":"author","urls":{"Paper":"https://doi.org/10.1007/s00165-021-00556-1"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/network/files/ws3af8SM9SMEYsH2f","dataSources":["PZg5PtcToSZkgSyYp","qQnqccZvH25J6baZj","WKKW4iPgS2HZ3iYgC","ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","Dku8hLpmnK4EMRGxi","o4c8ZrEv4pXJNTWsQ","Am74mndWeepaSMcba","g7R8qBvQHnTH2cmxX","NjpvvPPb5uHsATbEa"],"keywords":[],"search_terms":["analysing","autonomous","tramway","positioning","system","uppaal","statistical","model","checker","basile","fantechi","rucher","mandò"],"title":"Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker","year":2021}