{"_id":"Z2r3boTJQg7s9D4T2","bibbaseid":"bouyer-orlandini-pietro-proceedingseighthinternationalsymposiumongamesautomatalogicsandformalverificationgandalf2017romaitaly2022september2017-2017","downloads":0,"creationDate":"2019-03-31T12:02:10.138Z","title":"Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September 2017","author_short":null,"year":2017,"bibtype":"proceedings","biburl":"https://dblp.org/pid/117/3450.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Patricia"],"propositions":[],"lastnames":["Bouyer"],"suffixes":[]},{"firstnames":["Andrea"],"propositions":[],"lastnames":["Orlandini"],"suffixes":[]},{"firstnames":["Pierluigi","San"],"propositions":[],"lastnames":["Pietro"],"suffixes":[]}],"title":"Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September 2017","series":"EPTCS","volume":"256","year":"2017","url":"http://arxiv.org/abs/1709.01761","timestamp":"Mon, 13 Aug 2018 16:46:27 +0200","biburl":"https://dblp.org/rec/bib/journals/corr/abs-1709-01761","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:journals/corr/abs-1709-01761,\n editor = {Patricia Bouyer and\n Andrea Orlandini and\n Pierluigi San Pietro},\n title = {Proceedings Eighth International Symposium on Games, Automata, Logics\n and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September\n 2017},\n series = {{EPTCS}},\n volume = {256},\n year = {2017},\n url = {http://arxiv.org/abs/1709.01761},\n timestamp = {Mon, 13 Aug 2018 16:46:27 +0200},\n biburl = {https://dblp.org/rec/bib/journals/corr/abs-1709-01761},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Bouyer, P.","Orlandini, A.","Pietro, P. S."],"key":"DBLP:journals/corr/abs-1709-01761","id":"DBLP:journals/corr/abs-1709-01761","bibbaseid":"bouyer-orlandini-pietro-proceedingseighthinternationalsymposiumongamesautomatalogicsandformalverificationgandalf2017romaitaly2022september2017-2017","role":"editor","urls":{"Paper":"http://arxiv.org/abs/1709.01761"},"downloads":0},"search_terms":["proceedings","eighth","international","symposium","games","automata","logics","formal","verification","gandalf","2017","roma","italy","september","2017"],"keywords":[],"authorIDs":[],"dataSources":["CXr5PRHZ4E5hcekwd"]}