@inproceedings{DBLP:conf/ac/AcetoNF86,
    author = "Aceto, Luca and Nicola, Rocco De and Fantechi, Alessandro",
    editor = "Zilli, Marisa Venturini",
    title = "Testing Equivalences for Event Structures",
    booktitle = "Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24 - October 1, 1986, Proceedings",
    series = "Lecture Notes in Computer Science",
    volume = "280",
    pages = "1--20",
    publisher = "Springer",
    year = "1986",
    url = "https://doi.org/10.1007/3-540-18419-8\\_9",
    doi = "10.1007/3-540-18419-8\\_9",
    timestamp = "Tue, 14 May 2019 10:00:49 +0200",
    biburl = "https://dblp.org/rec/conf/ac/AcetoNF86.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"fcZ4vLqRNamThgRG9","bibbaseid":"aceto-nicola-fantechi-testingequivalencesforeventstructures-1986","authorIDs":[],"author_short":["Aceto, L.","Nicola, R. D.","Fantechi, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Aceto"],"firstnames":["Luca"],"suffixes":[]},{"propositions":[],"lastnames":["Nicola"],"firstnames":["Rocco","De"],"suffixes":[]},{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Zilli"],"firstnames":["Marisa","Venturini"],"suffixes":[]}],"title":"Testing Equivalences for Event Structures","booktitle":"Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24 - October 1, 1986, Proceedings","series":"Lecture Notes in Computer Science","volume":"280","pages":"1–20","publisher":"Springer","year":"1986","url":"https://doi.org/10.1007/3-540-18419-8\\\\_9","doi":"10.1007/3-540-18419-8\\_9","timestamp":"Tue, 14 May 2019 10:00:49 +0200","biburl":"https://dblp.org/rec/conf/ac/AcetoNF86.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ac/AcetoNF86,\n author = \"Aceto, Luca and Nicola, Rocco De and Fantechi, Alessandro\",\n editor = \"Zilli, Marisa Venturini\",\n title = \"Testing Equivalences for Event Structures\",\n booktitle = \"Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24 - October 1, 1986, Proceedings\",\n series = \"Lecture Notes in Computer Science\",\n volume = \"280\",\n pages = \"1--20\",\n publisher = \"Springer\",\n year = \"1986\",\n url = \"https://doi.org/10.1007/3-540-18419-8\\\\_9\",\n doi = \"10.1007/3-540-18419-8\\\\_9\",\n timestamp = \"Tue, 14 May 2019 10:00:49 +0200\",\n biburl = \"https://dblp.org/rec/conf/ac/AcetoNF86.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Aceto, L.","Nicola, R. D.","Fantechi, A."],"editor_short":["Zilli, M. V."],"key":"DBLP:conf/ac/AcetoNF86","id":"DBLP:conf/ac/AcetoNF86","bibbaseid":"aceto-nicola-fantechi-testingequivalencesforeventstructures-1986","role":"author","urls":{"Paper":"https://doi.org/10.1007/3-540-18419-8\\\\_9"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/ws3af8SM9SMEYsH2f","creationDate":"2020-08-07T16:49:57.701Z","downloads":0,"keywords":[],"search_terms":["testing","equivalences","event","structures","aceto","nicola","fantechi"],"title":"Testing Equivalences for Event Structures","year":1986,"dataSources":["FxajFA698pihqBfpX","qQnqccZvH25J6baZj","WKKW4iPgS2HZ3iYgC","ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","Dku8hLpmnK4EMRGxi","o4c8ZrEv4pXJNTWsQ","Am74mndWeepaSMcba","PZg5PtcToSZkgSyYp","g7R8qBvQHnTH2cmxX","NjpvvPPb5uHsATbEa"]}