Swarm* verification* techniques*
OK
Gerard J. HolzmannRajeev JoshiAlex GroceSwarm Verification Techniques.IEEE Trans. Software Eng.376845-8572011Journal Articlesclosedjournals/tse/HolzmannJG1110.1109/TSE.2010.110https://doi.org/10.1109/TSE.2010.110https://dblp.org/rec/journals/tse/HolzmannJG11
URL#4620658