Cited By
View all- Barbanera FLanese ITuosto E(2020)Composing Communicating Systems, SynchronouslyLeveraging Applications of Formal Methods, Verification and Validation: Verification Principles10.1007/978-3-030-61362-4_3(39-59)Online publication date: 20-Oct-2020
- Laubenbacher RJarrah AMortveit HRavi S(2020)Agent-Based Modeling, Mathematical Formalism forComplex Social and Behavioral Systems10.1007/978-1-0716-0368-0_10(683-703)Online publication date: 21-Aug-2020
- Tošić PLarson KWinikoff MDas SDurfee E(2017)Phase Transitions in Possible Dynamics of Cellular and Graph Automata Models of Sparsely Interconnected Multi-Agent SystemsProceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems10.5555/3091125.3091195(474-483)Online publication date: 8-May-2017
- Show More Cited By