An Approach to Verification of a Family of Multiagent Systems for Conflict Resolution
Crossref DOI link: https://doi.org/10.3103/S0146411617070069
Published Online: 2018-02-07
Published Print: 2017-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Garanina, N. O.
Sidorova, E. A.
Text and Data Mining valid from 2017-12-01
Article History
Received: 13 March 2016
First Online: 7 February 2018