@inproceedings{DBLP:conf/case/RugnoneVNDCPT07,
    author = "Rugnone, Alberto and Vicario, Enrico and Nugent, Chris D. and Donnelly, Mark P. and Craig, David and Paggetti, Cristiano and Tamburini, Elena",
    title = "HomeTL: {A} visual formalism, based on temporal logic, for the design of home based care",
    booktitle = "{IEEE} Conference on Automation Science and Engineering, {CASE} 2007, September 22-25, 2007. Scottsdale, Arizona, {USA}",
    pages = "747--752",
    publisher = "{IEEE}",
    year = "2007",
    url = "https://doi.org/10.1109/COASE.2007.4341725",
    doi = "10.1109/COASE.2007.4341725",
    timestamp = "Thu, 14 Oct 2021 01:00:00 +0200",
    biburl = "https://dblp.org/rec/conf/case/RugnoneVNDCPT07.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"Kbm37MeqvwYihFscY","bibbaseid":"rugnone-vicario-nugent-donnelly-craig-paggetti-tamburini-hometlavisualformalismbasedontemporallogicforthedesignofhomebasedcare-2007","author_short":["Rugnone, A.","Vicario, E.","Nugent, C. D.","Donnelly, M. P.","Craig, D.","Paggetti, C.","Tamburini, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Rugnone"],"firstnames":["Alberto"],"suffixes":[]},{"propositions":[],"lastnames":["Vicario"],"firstnames":["Enrico"],"suffixes":[]},{"propositions":[],"lastnames":["Nugent"],"firstnames":["Chris","D."],"suffixes":[]},{"propositions":[],"lastnames":["Donnelly"],"firstnames":["Mark","P."],"suffixes":[]},{"propositions":[],"lastnames":["Craig"],"firstnames":["David"],"suffixes":[]},{"propositions":[],"lastnames":["Paggetti"],"firstnames":["Cristiano"],"suffixes":[]},{"propositions":[],"lastnames":["Tamburini"],"firstnames":["Elena"],"suffixes":[]}],"title":"HomeTL: A visual formalism, based on temporal logic, for the design of home based care","booktitle":"IEEE Conference on Automation Science and Engineering, CASE 2007, September 22-25, 2007. Scottsdale, Arizona, USA","pages":"747–752","publisher":"IEEE","year":"2007","url":"https://doi.org/10.1109/COASE.2007.4341725","doi":"10.1109/COASE.2007.4341725","timestamp":"Thu, 14 Oct 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/case/RugnoneVNDCPT07.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/case/RugnoneVNDCPT07,\n author = \"Rugnone, Alberto and Vicario, Enrico and Nugent, Chris D. and Donnelly, Mark P. and Craig, David and Paggetti, Cristiano and Tamburini, Elena\",\n title = \"HomeTL: {A} visual formalism, based on temporal logic, for the design of home based care\",\n booktitle = \"{IEEE} Conference on Automation Science and Engineering, {CASE} 2007, September 22-25, 2007. Scottsdale, Arizona, {USA}\",\n pages = \"747--752\",\n publisher = \"{IEEE}\",\n year = \"2007\",\n url = \"https://doi.org/10.1109/COASE.2007.4341725\",\n doi = \"10.1109/COASE.2007.4341725\",\n timestamp = \"Thu, 14 Oct 2021 01:00:00 +0200\",\n biburl = \"https://dblp.org/rec/conf/case/RugnoneVNDCPT07.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Rugnone, A.","Vicario, E.","Nugent, C. D.","Donnelly, M. P.","Craig, D.","Paggetti, C.","Tamburini, E."],"key":"DBLP:conf/case/RugnoneVNDCPT07","id":"DBLP:conf/case/RugnoneVNDCPT07","bibbaseid":"rugnone-vicario-nugent-donnelly-craig-paggetti-tamburini-hometlavisualformalismbasedontemporallogicforthedesignofhomebasedcare-2007","role":"author","urls":{"Paper":"https://doi.org/10.1109/COASE.2007.4341725"},"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":["hometl","visual","formalism","based","temporal","logic","design","home","based","care","rugnone","vicario","nugent","donnelly","craig","paggetti","tamburini"],"title":"HomeTL: A visual formalism, based on temporal logic, for the design of home based care","year":2007}