@inproceedings{DBLP:conf/tacas/LusiniV98,
    author = "Lusini, M. and Vicario, Enrico",
    editor = {Margaria, Tiziana and Steffen, Bernhard and R{\"{u}}ckert, Roland and Posegga, Joachim},
    title = "Design and Evaluation of a Visual Formalism for Real Time Logics",
    booktitle = "Services and Visualization: Towards User-Friendly Design, ACoS'98, VISUAL'98, AIN'97, Selected Papers",
    series = "Lecture Notes in Computer Science",
    volume = "1385",
    pages = "158--173",
    publisher = "Springer",
    year = "1998",
    url = "https://doi.org/10.1007/BFb0053504",
    doi = "10.1007/BFB0053504",
    timestamp = "Tue, 14 May 2019 10:00:53 +0200",
    biburl = "https://dblp.org/rec/conf/tacas/LusiniV98.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"gSQy7gXBGb56kx3jh","bibbaseid":"lusini-vicario-designandevaluationofavisualformalismforrealtimelogics-1998","author_short":["Lusini, M.","Vicario, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Lusini"],"firstnames":["M."],"suffixes":[]},{"propositions":[],"lastnames":["Vicario"],"firstnames":["Enrico"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Margaria"],"firstnames":["Tiziana"],"suffixes":[]},{"propositions":[],"lastnames":["Steffen"],"firstnames":["Bernhard"],"suffixes":[]},{"propositions":[],"lastnames":["Rückert"],"firstnames":["Roland"],"suffixes":[]},{"propositions":[],"lastnames":["Posegga"],"firstnames":["Joachim"],"suffixes":[]}],"title":"Design and Evaluation of a Visual Formalism for Real Time Logics","booktitle":"Services and Visualization: Towards User-Friendly Design, ACoS'98, VISUAL'98, AIN'97, Selected Papers","series":"Lecture Notes in Computer Science","volume":"1385","pages":"158–173","publisher":"Springer","year":"1998","url":"https://doi.org/10.1007/BFb0053504","doi":"10.1007/BFB0053504","timestamp":"Tue, 14 May 2019 10:00:53 +0200","biburl":"https://dblp.org/rec/conf/tacas/LusiniV98.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/tacas/LusiniV98,\n author = \"Lusini, M. and Vicario, Enrico\",\n editor = {Margaria, Tiziana and Steffen, Bernhard and R{\\\"{u}}ckert, Roland and Posegga, Joachim},\n title = \"Design and Evaluation of a Visual Formalism for Real Time Logics\",\n booktitle = \"Services and Visualization: Towards User-Friendly Design, ACoS'98, VISUAL'98, AIN'97, Selected Papers\",\n series = \"Lecture Notes in Computer Science\",\n volume = \"1385\",\n pages = \"158--173\",\n publisher = \"Springer\",\n year = \"1998\",\n url = \"https://doi.org/10.1007/BFb0053504\",\n doi = \"10.1007/BFB0053504\",\n timestamp = \"Tue, 14 May 2019 10:00:53 +0200\",\n biburl = \"https://dblp.org/rec/conf/tacas/LusiniV98.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Lusini, M.","Vicario, E."],"editor_short":["Margaria, T.","Steffen, B.","Rückert, R.","Posegga, J."],"key":"DBLP:conf/tacas/LusiniV98","id":"DBLP:conf/tacas/LusiniV98","bibbaseid":"lusini-vicario-designandevaluationofavisualformalismforrealtimelogics-1998","role":"author","urls":{"Paper":"https://doi.org/10.1007/BFb0053504"},"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":["design","evaluation","visual","formalism","real","time","logics","lusini","vicario"],"title":"Design and Evaluation of a Visual Formalism for Real Time Logics","year":1998}