@inproceedings{DBLP:conf/forte/FantechiGL89,
    author = "Fantechi, Alessandro and Gnesi, Stefania and Laneve, Cosimo",
    editor = "Vuong, Son T.",
    title = "An Expressive Temporal Logic for Basic {LOTOS}",
    booktitle = "Formal Description Techniques, II, Proceedings of the {IFIP} {TC/WG6.1} Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989",
    pages = "261--276",
    publisher = "North-Holland",
    year = "1989",
    timestamp = "Thu, 03 Jan 2002 11:58:39 +0100",
    biburl = "https://dblp.org/rec/conf/forte/FantechiGL89.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"aQDnx6ETneHYAywzc","bibbaseid":"fantechi-gnesi-laneve-anexpressivetemporallogicforbasiclotos-1989","author_short":["Fantechi, A.","Gnesi, S.","Laneve, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Gnesi"],"firstnames":["Stefania"],"suffixes":[]},{"propositions":[],"lastnames":["Laneve"],"firstnames":["Cosimo"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Vuong"],"firstnames":["Son","T."],"suffixes":[]}],"title":"An Expressive Temporal Logic for Basic LOTOS","booktitle":"Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989","pages":"261–276","publisher":"North-Holland","year":"1989","timestamp":"Thu, 03 Jan 2002 11:58:39 +0100","biburl":"https://dblp.org/rec/conf/forte/FantechiGL89.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/forte/FantechiGL89,\n author = \"Fantechi, Alessandro and Gnesi, Stefania and Laneve, Cosimo\",\n editor = \"Vuong, Son T.\",\n title = \"An Expressive Temporal Logic for Basic {LOTOS}\",\n booktitle = \"Formal Description Techniques, II, Proceedings of the {IFIP} {TC/WG6.1} Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989\",\n pages = \"261--276\",\n publisher = \"North-Holland\",\n year = \"1989\",\n timestamp = \"Thu, 03 Jan 2002 11:58:39 +0100\",\n biburl = \"https://dblp.org/rec/conf/forte/FantechiGL89.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Fantechi, A.","Gnesi, S.","Laneve, C."],"editor_short":["Vuong, S. T."],"key":"DBLP:conf/forte/FantechiGL89","id":"DBLP:conf/forte/FantechiGL89","bibbaseid":"fantechi-gnesi-laneve-anexpressivetemporallogicforbasiclotos-1989","role":"author","urls":{},"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":["expressive","temporal","logic","basic","lotos","fantechi","gnesi","laneve"],"title":"An Expressive Temporal Logic for Basic LOTOS","year":1989}