@inproceedings{DBLP:conf/icost/RugnonePVNTP07,
    author = "Rugnone, Alberto and Poli, Francesco and Vicario, Enrico and Nugent, Chris D. and Tamburini, Elena and Paggetti, Cristiano",
    editor = "Okadome, Takeshi and Yamazaki, Tatsuya and Makhtari, Mounir",
    title = "A Visual Editor to Support the Use of Temporal Logic for {ADL} Monitoring",
    booktitle = "Pervasive Computing for Quality of Life Enhancement, 5th International Conference On Smart Homes and Health Telematics, {ICOST} 2007, Nara, Japan, June 21-23, 2007, Proceedings",
    series = "Lecture Notes in Computer Science",
    volume = "4541",
    pages = "217--225",
    publisher = "Springer",
    year = "2007",
    url = "https://doi.org/10.1007/978-3-540-73035-4\\_23",
    doi = "10.1007/978-3-540-73035-4\\_23",
    timestamp = "Thu, 14 Oct 2021 01:00:00 +0200",
    biburl = "https://dblp.org/rec/conf/icost/RugnonePVNTP07.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"vG7JcFEGJyjFTkiJ5","bibbaseid":"rugnone-poli-vicario-nugent-tamburini-paggetti-avisualeditortosupporttheuseoftemporallogicforadlmonitoring-2007","author_short":["Rugnone, A.","Poli, F.","Vicario, E.","Nugent, C. D.","Tamburini, E.","Paggetti, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Rugnone"],"firstnames":["Alberto"],"suffixes":[]},{"propositions":[],"lastnames":["Poli"],"firstnames":["Francesco"],"suffixes":[]},{"propositions":[],"lastnames":["Vicario"],"firstnames":["Enrico"],"suffixes":[]},{"propositions":[],"lastnames":["Nugent"],"firstnames":["Chris","D."],"suffixes":[]},{"propositions":[],"lastnames":["Tamburini"],"firstnames":["Elena"],"suffixes":[]},{"propositions":[],"lastnames":["Paggetti"],"firstnames":["Cristiano"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Okadome"],"firstnames":["Takeshi"],"suffixes":[]},{"propositions":[],"lastnames":["Yamazaki"],"firstnames":["Tatsuya"],"suffixes":[]},{"propositions":[],"lastnames":["Makhtari"],"firstnames":["Mounir"],"suffixes":[]}],"title":"A Visual Editor to Support the Use of Temporal Logic for ADL Monitoring","booktitle":"Pervasive Computing for Quality of Life Enhancement, 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007, Proceedings","series":"Lecture Notes in Computer Science","volume":"4541","pages":"217–225","publisher":"Springer","year":"2007","url":"https://doi.org/10.1007/978-3-540-73035-4\\\\_23","doi":"10.1007/978-3-540-73035-4\\_23","timestamp":"Thu, 14 Oct 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/icost/RugnonePVNTP07.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/icost/RugnonePVNTP07,\n author = \"Rugnone, Alberto and Poli, Francesco and Vicario, Enrico and Nugent, Chris D. and Tamburini, Elena and Paggetti, Cristiano\",\n editor = \"Okadome, Takeshi and Yamazaki, Tatsuya and Makhtari, Mounir\",\n title = \"A Visual Editor to Support the Use of Temporal Logic for {ADL} Monitoring\",\n booktitle = \"Pervasive Computing for Quality of Life Enhancement, 5th International Conference On Smart Homes and Health Telematics, {ICOST} 2007, Nara, Japan, June 21-23, 2007, Proceedings\",\n series = \"Lecture Notes in Computer Science\",\n volume = \"4541\",\n pages = \"217--225\",\n publisher = \"Springer\",\n year = \"2007\",\n url = \"https://doi.org/10.1007/978-3-540-73035-4\\\\_23\",\n doi = \"10.1007/978-3-540-73035-4\\\\_23\",\n timestamp = \"Thu, 14 Oct 2021 01:00:00 +0200\",\n biburl = \"https://dblp.org/rec/conf/icost/RugnonePVNTP07.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Rugnone, A.","Poli, F.","Vicario, E.","Nugent, C. D.","Tamburini, E.","Paggetti, C."],"editor_short":["Okadome, T.","Yamazaki, T.","Makhtari, M."],"key":"DBLP:conf/icost/RugnonePVNTP07","id":"DBLP:conf/icost/RugnonePVNTP07","bibbaseid":"rugnone-poli-vicario-nugent-tamburini-paggetti-avisualeditortosupporttheuseoftemporallogicforadlmonitoring-2007","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-73035-4\\\\_23"},"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":["visual","editor","support","use","temporal","logic","adl","monitoring","rugnone","poli","vicario","nugent","tamburini","paggetti"],"title":"A Visual Editor to Support the Use of Temporal Logic for ADL Monitoring","year":2007}