@inproceedings{DBLP:journals/corr/FontaineMMPS16,
  author       = {Ga{\"{e}}lle Fontaine and
                  Fabio Mogavero and
                  Aniello Murano and
                  Giuseppe Perelli and
                  Loredana Sorrentino},
  editor       = {Domenico Cantone and
                  Giorgio Delzanno},
  title        = {Cycle Detection in Computation Tree Logic},
  booktitle    = {Proceedings of the Seventh International Symposium on Games, Automata,
                  Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
                  September 2016},
  series       = {{EPTCS}},
  volume       = {226},
  pages        = {164--177},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.226.12},
  doi          = {10.4204/EPTCS.226.12},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FontaineMMPS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"842ZX87Yki3pc9nDz","bibbaseid":"fontaine-mogavero-murano-perelli-sorrentino-cycledetectionincomputationtreelogic-2016","authorIDs":["27AAjNDH3eGyX3kAG","5e5fa91819c3fade010000c4","5e610d2131c7d3de0100025f","5e65076e9eed46de0100004a","5e6aaadaf216f6de01000129","62BzuGuQtetH6F3cf","73Rh8BSJgqcii5cD3","7aQ2zeLMoyj6CHpBu","8QYqvnERKkScTLpXt","939RNK33yrPF4hHck","9QZmYec3ABqZqB9ed","9R3rFYeegwqLCtFQ7","9y2sud2AwvG4Tfdrm","Am2578MapgxQHtFf4","AqbTCnnCr8sLjTmdv","Ax9iPx6jhgbzjgAsq","C4ESoeg7imBRZM8Wr","DCAwSuxCjnszReHdG","FSKJKgCA2iK6ike3h","G2yqkXwcYagjLqEat","Gj4YRNsBu7wtb4vXY","HcptFeK4rg5nYWiFa","HfSGhTtE2kahBfnm8","HuLSgG4PJuPLGpoMZ","JYgujoQ6Yr9gf5vNm","JqvuFYYZoqT3y5hMJ","JsDz5ZfswX5PojvGF","L9SALwZHK7h4cnemm","M8ugQbFqc7J2SZZkb","MFXN3rfY97dER4uaF","MZzQLYonZyupKJJTW","Mj26qo7ejPRPakyYe","P7Rrykvikzyq7PH8F","SJHQwhWmEBwe2BkD3","TXDn8che9rTzjmrA5","W7Y9wsvLY9xYhYm7h","WrDgnRcn4BB4Pa2dL","XFeNGvuLa7vugKn8p","b932A83vqaao9vcAc","g5b8qR96euxXJQuwo","kWEPDQzitMRJ7Zfhd","kZpNRST28n9ZjkEjH","n5xPfBLskvCDRBk9A","pJotjgR9RGRzfaYDG","phZeTXoR5izbbuka9","qNnrc72DLfCFyCBuC","qWWZLuDKbdrQDYuXX","uiiEzMohLiEYpDQLf","uj2FY3LBd7XX9c4LZ","wGdyWcm2XzfxzJTEK","xPnSDmeSsJoXtiWXX","xWfKBfkZej5XRKp8G"],"author_short":["Fontaine, G.","Mogavero, F.","Murano, A.","Perelli, G.","Sorrentino, L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Gaëlle"],"propositions":[],"lastnames":["Fontaine"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Mogavero"],"suffixes":[]},{"firstnames":["Aniello"],"propositions":[],"lastnames":["Murano"],"suffixes":[]},{"firstnames":["Giuseppe"],"propositions":[],"lastnames":["Perelli"],"suffixes":[]},{"firstnames":["Loredana"],"propositions":[],"lastnames":["Sorrentino"],"suffixes":[]}],"editor":[{"firstnames":["Domenico"],"propositions":[],"lastnames":["Cantone"],"suffixes":[]},{"firstnames":["Giorgio"],"propositions":[],"lastnames":["Delzanno"],"suffixes":[]}],"title":"Cycle Detection in Computation Tree Logic","booktitle":"Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016","series":"EPTCS","volume":"226","pages":"164–177","year":"2016","url":"https://doi.org/10.4204/EPTCS.226.12","doi":"10.4204/EPTCS.226.12","timestamp":"Sat, 30 Sep 2023 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/FontaineMMPS16.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:journals/corr/FontaineMMPS16,\n author = {Ga{\\\"{e}}lle Fontaine and\n Fabio Mogavero and\n Aniello Murano and\n Giuseppe Perelli and\n Loredana Sorrentino},\n editor = {Domenico Cantone and\n Giorgio Delzanno},\n title = {Cycle Detection in Computation Tree Logic},\n booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,\n Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16\n September 2016},\n series = {{EPTCS}},\n volume = {226},\n pages = {164--177},\n year = {2016},\n url = {https://doi.org/10.4204/EPTCS.226.12},\n doi = {10.4204/EPTCS.226.12},\n timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/FontaineMMPS16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fontaine, G.","Mogavero, F.","Murano, A.","Perelli, G.","Sorrentino, L."],"editor_short":["Cantone, D.","Delzanno, G."],"key":"DBLP:journals/corr/FontaineMMPS16","id":"DBLP:journals/corr/FontaineMMPS16","bibbaseid":"fontaine-mogavero-murano-perelli-sorrentino-cycledetectionincomputationtreelogic-2016","role":"author","urls":{"Paper":"https://doi.org/10.4204/EPTCS.226.12"},"metadata":{"authorlinks":{"perelli, g":"https://giuseppeperelli.github.io/oldsite/"}},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/41/1330.bib","creationDate":"2020-02-29T21:07:14.951Z","downloads":0,"keywords":[],"search_terms":["cycle","detection","computation","tree","logic","fontaine","mogavero","murano","perelli","sorrentino"],"title":"Cycle Detection in Computation Tree Logic","year":2016,"dataSources":["Hsp4YyumSZ65qLatJ","kSN38gKTSZ2dArL6M","P3TQkzzbYMHFrjwn4","rcc5nk8gmLmyRucnQ","qvQbPukenqj5YCziG","FveT9XjjEsLo76Nnx","SFiNZC9JtGydSWxQX","KWzHALEjxymhYjHPF"]}