%0 Journal Article %1 journals/accs/GaraninaBS15 %A Garanina, Natalya Olegovna %A Bodin, Evgeny V. %A Sidorova, Elena A. %D 2015 %J Automatic Control and Computer Sciences %K dblp %N 7 %P 420-429 %T Using SPIN for verification of multiagent data analysis. %U http://dblp.uni-trier.de/db/journals/accs/accs49.html#GaraninaBS15 %V 49

@article{journals/accs/GaraninaBS15, added-at = {2016-01-28T00:00:00.000+0100}, author = {Garanina, Natalya Olegovna and Bodin, Evgeny V. and Sidorova, Elena A.}, biburl = {https://www.bibsonomy.org/bibtex/2385f2f0c4bb1cc315f3623ad5e62328b/dblp}, ee = {http://dx.doi.org/10.3103/S014641161507007X}, interhash = {be6ddafb17c9e47b284112a4da6a21ed}, intrahash = {385f2f0c4bb1cc315f3623ad5e62328b}, journal = {Automatic Control and Computer Sciences}, keywords = {dblp}, number = 7, pages = {420-429}, timestamp = {2016-01-29T11:35:55.000+0100}, title = {Using SPIN for verification of multiagent data analysis.}, url = {http://dblp.uni-trier.de/db/journals/accs/accs49.html#GaraninaBS15}, volume = 49, year = 2015 }