@inproceedings{DBLP:conf/ijcai/MuranoP15,
  author       = {Aniello Murano and
                  Giuseppe Perelli},
  editor       = {Qiang Yang and
                  Michael J. Wooldridge},
  title        = {Pushdown Multi-Agent System Verification},
  booktitle    = {Proceedings of the Twenty-Fourth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
                  25-31, 2015},
  pages        = {1090--1097},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {http://ijcai.org/Abstract/15/158},
  timestamp    = {Tue, 20 Aug 2019 16:16:43 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MuranoP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"xZY3waG5WMRTLLDxt","bibbaseid":"murano-perelli-pushdownmultiagentsystemverification-2015","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":["Murano, A.","Perelli, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Aniello"],"propositions":[],"lastnames":["Murano"],"suffixes":[]},{"firstnames":["Giuseppe"],"propositions":[],"lastnames":["Perelli"],"suffixes":[]}],"editor":[{"firstnames":["Qiang"],"propositions":[],"lastnames":["Yang"],"suffixes":[]},{"firstnames":["Michael","J."],"propositions":[],"lastnames":["Wooldridge"],"suffixes":[]}],"title":"Pushdown Multi-Agent System Verification","booktitle":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015","pages":"1090–1097","publisher":"AAAI Press","year":"2015","url":"http://ijcai.org/Abstract/15/158","timestamp":"Tue, 20 Aug 2019 16:16:43 +0200","biburl":"https://dblp.org/rec/conf/ijcai/MuranoP15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ijcai/MuranoP15,\n author = {Aniello Murano and\n Giuseppe Perelli},\n editor = {Qiang Yang and\n Michael J. Wooldridge},\n title = {Pushdown Multi-Agent System Verification},\n booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on\n Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July\n 25-31, 2015},\n pages = {1090--1097},\n publisher = {{AAAI} Press},\n year = {2015},\n url = {http://ijcai.org/Abstract/15/158},\n timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},\n biburl = {https://dblp.org/rec/conf/ijcai/MuranoP15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Murano, A.","Perelli, G."],"editor_short":["Yang, Q.","Wooldridge, M. J."],"key":"DBLP:conf/ijcai/MuranoP15","id":"DBLP:conf/ijcai/MuranoP15","bibbaseid":"murano-perelli-pushdownmultiagentsystemverification-2015","role":"author","urls":{"Paper":"http://ijcai.org/Abstract/15/158"},"metadata":{"authorlinks":{"perelli, g":"https://giuseppeperelli.github.io/oldsite/"}},"downloads":1},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/41/1330.bib","creationDate":"2020-02-29T21:07:14.955Z","downloads":1,"keywords":[],"search_terms":["pushdown","multi","agent","system","verification","murano","perelli"],"title":"Pushdown Multi-Agent System Verification","year":2015,"dataSources":["Hsp4YyumSZ65qLatJ","kSN38gKTSZ2dArL6M","P3TQkzzbYMHFrjwn4","rcc5nk8gmLmyRucnQ","qvQbPukenqj5YCziG","FveT9XjjEsLo76Nnx","SFiNZC9JtGydSWxQX","KWzHALEjxymhYjHPF"]}