An Approach to Model Checking of Multi-agent Data Analysis. Garanina, N. O., Bodin, E. V., & Sidorova, E. A. In Bersani, M. M., Bresolin, D., Ferrucci, L., & Mazzara, M., editors, MOD*, volume 168, of EPTCS, pages 32-44, 2014. Link Paper bibtex @inproceedings{journals/corr/GaraninaBS14,
added-at = {2016-01-28T00:00:00.000+0100},
author = {Garanina, Natalia Olegovna and Bodin, Eugene V. and Sidorova, Elena A.},
biburl = {http://www.bibsonomy.org/bibtex/28708bdb9b4ad2b8ae56eaf1716339b91/dblp},
booktitle = {MOD*},
crossref = {journals/corr/BersaniBFM14},
editor = {Bersani, Marcello Maria and Bresolin, Davide and Ferrucci, Luca and Mazzara, Manuel},
ee = {http://dx.doi.org/10.4204/EPTCS.168.3},
interhash = {0808c58d1dbbee4ab88a034e6bc66cca},
intrahash = {8708bdb9b4ad2b8ae56eaf1716339b91},
keywords = {dblp},
pages = {32-44},
series = {EPTCS},
timestamp = {2016-01-29T11:50:10.000+0100},
title = {An Approach to Model Checking of Multi-agent Data Analysis.},
url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs168.html#GaraninaBS14},
volume = 168,
year = 2014
}
Downloads: 0
{"_id":"R2RScRFkoMHAbBPRe","bibbaseid":"garanina-bodin-sidorova-anapproachtomodelcheckingofmultiagentdataanalysis-2014","downloads":0,"creationDate":"2016-02-09T06:01:06.231Z","title":"An Approach to Model Checking of Multi-agent Data Analysis.","author_short":["Garanina, N. O.","Bodin, E. V.","Sidorova, E. A."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Krishnakumar, V?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2016-01-28T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Garanina"],"firstnames":["Natalia","Olegovna"],"suffixes":[]},{"propositions":[],"lastnames":["Bodin"],"firstnames":["Eugene","V."],"suffixes":[]},{"propositions":[],"lastnames":["Sidorova"],"firstnames":["Elena","A."],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/28708bdb9b4ad2b8ae56eaf1716339b91/dblp","booktitle":"MOD*","crossref":"journals/corr/BersaniBFM14","editor":[{"propositions":[],"lastnames":["Bersani"],"firstnames":["Marcello","Maria"],"suffixes":[]},{"propositions":[],"lastnames":["Bresolin"],"firstnames":["Davide"],"suffixes":[]},{"propositions":[],"lastnames":["Ferrucci"],"firstnames":["Luca"],"suffixes":[]},{"propositions":[],"lastnames":["Mazzara"],"firstnames":["Manuel"],"suffixes":[]}],"ee":"http://dx.doi.org/10.4204/EPTCS.168.3","interhash":"0808c58d1dbbee4ab88a034e6bc66cca","intrahash":"8708bdb9b4ad2b8ae56eaf1716339b91","keywords":"dblp","pages":"32-44","series":"EPTCS","timestamp":"2016-01-29T11:50:10.000+0100","title":"An Approach to Model Checking of Multi-agent Data Analysis.","url":"http://dblp.uni-trier.de/db/series/eptcs/eptcs168.html#GaraninaBS14","volume":"168","year":"2014","bibtex":"@inproceedings{journals/corr/GaraninaBS14,\n added-at = {2016-01-28T00:00:00.000+0100},\n author = {Garanina, Natalia Olegovna and Bodin, Eugene V. and Sidorova, Elena A.},\n biburl = {http://www.bibsonomy.org/bibtex/28708bdb9b4ad2b8ae56eaf1716339b91/dblp},\n booktitle = {MOD*},\n crossref = {journals/corr/BersaniBFM14},\n editor = {Bersani, Marcello Maria and Bresolin, Davide and Ferrucci, Luca and Mazzara, Manuel},\n ee = {http://dx.doi.org/10.4204/EPTCS.168.3},\n interhash = {0808c58d1dbbee4ab88a034e6bc66cca},\n intrahash = {8708bdb9b4ad2b8ae56eaf1716339b91},\n keywords = {dblp},\n pages = {32-44},\n series = {EPTCS},\n timestamp = {2016-01-29T11:50:10.000+0100},\n title = {An Approach to Model Checking of Multi-agent Data Analysis.},\n url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs168.html#GaraninaBS14},\n volume = 168,\n year = 2014\n}\n\n","author_short":["Garanina, N. O.","Bodin, E. V.","Sidorova, E. A."],"editor_short":["Bersani, M. M.","Bresolin, D.","Ferrucci, L.","Mazzara, M."],"key":"journals/corr/GaraninaBS14","id":"journals/corr/GaraninaBS14","bibbaseid":"garanina-bodin-sidorova-anapproachtomodelcheckingofmultiagentdataanalysis-2014","role":"author","urls":{"Link":"http://dx.doi.org/10.4204/EPTCS.168.3","Paper":"http://dblp.uni-trier.de/db/series/eptcs/eptcs168.html#GaraninaBS14"},"keyword":["dblp"],"downloads":0},"search_terms":["approach","model","checking","multi","agent","data","analysis","garanina","bodin","sidorova"],"keywords":["dblp"],"authorIDs":[],"dataSources":["qcwuM7Zzcbynrts5v"]}