Funder
Gruppo Nazionale per il Calcolo Scientifico
MIUR
Istituto Nazionale di Alta Matematica "Francesco Severi"
Subject
Hardware and Architecture,Modeling and Simulation,Software
Reference178 articles.
1. Simulation Modelling and Analysis;Law,2014
2. Model checking and the state explosion problem;Clarke,2011
3. A formal model for situated multi-agent systems;Weyns;Fund. Inform.,2004
4. Security analysis of distributed ledgers and blockchains through agent-based simulation;Serena;Simul. Model. Pract. Theory,2022
5. Cellular automata as models of complexity;Wolfram;Nature,1984
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献