Using SPIN for verification of multiagent data analysis
Crossref DOI link: https://doi.org/10.3103/S014641161507007X
Published Online: 2016-01-28
Published Print: 2015-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Garanina, N. O.
Bodin, E. V.
Sidorova, E. A.
Text and Data Mining valid from 2015-12-01