@inproceedings{DBLP:conf/forte/MeolicFG04,
    author = "Meolic, Robert and Fantechi, Alessandro and Gnesi, Stefania",
    editor = "de Frutos{-}Escrig, David and N{\'{u}}{\\textasciitilde {n}}ez, Manuel",
    title = "Witness and Counterexample Automata for {ACTL}",
    booktitle = "Formal Techniques for Networked and Distributed Systems - {FORTE} 2004, 24th {IFIP} {WG} 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings",
    series = "Lecture Notes in Computer Science",
    volume = "3235",
    pages = "259--275",
    publisher = "Springer",
    year = "2004",
    url = "https://doi.org/10.1007/978-3-540-30232-2\\_17",
    doi = "10.1007/978-3-540-30232-2\\_17",
    timestamp = "Mon, 03 Jan 2022 22:19:32 +0100",
    biburl = "https://dblp.org/rec/conf/forte/MeolicFG04.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"cf5gzjx248u6FgYW2","bibbaseid":"meolic-fantechi-gnesi-witnessandcounterexampleautomataforactl-2004","author_short":["Meolic, R.","Fantechi, A.","Gnesi, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Meolic"],"firstnames":["Robert"],"suffixes":[]},{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Gnesi"],"firstnames":["Stefania"],"suffixes":[]}],"editor":[{"propositions":["de"],"lastnames":["Frutos-Escrig"],"firstnames":["David"],"suffixes":[]},{"propositions":[],"lastnames":["Nú ̃nez"],"firstnames":["Manuel"],"suffixes":[]}],"title":"Witness and Counterexample Automata for ACTL","booktitle":"Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings","series":"Lecture Notes in Computer Science","volume":"3235","pages":"259–275","publisher":"Springer","year":"2004","url":"https://doi.org/10.1007/978-3-540-30232-2\\\\_17","doi":"10.1007/978-3-540-30232-2\\_17","timestamp":"Mon, 03 Jan 2022 22:19:32 +0100","biburl":"https://dblp.org/rec/conf/forte/MeolicFG04.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/forte/MeolicFG04,\n author = \"Meolic, Robert and Fantechi, Alessandro and Gnesi, Stefania\",\n editor = \"de Frutos{-}Escrig, David and N{\\'{u}}{\\\\textasciitilde {n}}ez, Manuel\",\n title = \"Witness and Counterexample Automata for {ACTL}\",\n booktitle = \"Formal Techniques for Networked and Distributed Systems - {FORTE} 2004, 24th {IFIP} {WG} 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings\",\n series = \"Lecture Notes in Computer Science\",\n volume = \"3235\",\n pages = \"259--275\",\n publisher = \"Springer\",\n year = \"2004\",\n url = \"https://doi.org/10.1007/978-3-540-30232-2\\\\_17\",\n doi = \"10.1007/978-3-540-30232-2\\\\_17\",\n timestamp = \"Mon, 03 Jan 2022 22:19:32 +0100\",\n biburl = \"https://dblp.org/rec/conf/forte/MeolicFG04.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Meolic, R.","Fantechi, A.","Gnesi, S."],"editor_short":["de Frutos-Escrig, D.","Nú ̃nez, M."],"key":"DBLP:conf/forte/MeolicFG04","id":"DBLP:conf/forte/MeolicFG04","bibbaseid":"meolic-fantechi-gnesi-witnessandcounterexampleautomataforactl-2004","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-30232-2\\\\_17"},"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":["witness","counterexample","automata","actl","meolic","fantechi","gnesi"],"title":"Witness and Counterexample Automata for ACTL","year":2004}