Published in

Springer, Lecture Notes in Computer Science, p. 37-54, 2016

DOI: 10.1007/978-3-319-31447-1_3

Links

Tools

Export citation

Search in Google Scholar

$ \texttt {MC} ^ \texttt {2} \texttt {MABS} $ MC 2 MABS : A Monte Carlo Model Checker for Multiagent-Based Simulations

Journal article published in 2016 by Benjamin Herd, Simon Miles ORCID, Peter McBurney, Michael Luck ORCID
This paper is available in a repository.
This paper is available in a repository.

Full text: Download

Red circle
Preprint: archiving forbidden
Orange circle
Postprint: archiving restricted
Red circle
Published version: archiving forbidden
Data provided by SHERPA/RoMEO