"An improved approach on the model checking for an agent-based simulation ..."

Yinling Liu et al. (2021)
a service of Schloss Dagstuhl - Leibniz Center for Informatics